Abrir el menú de navegación
Cerrar sugerencias
Buscar
Buscar
es
Change Language
Cambiar idioma
Cargar
Cargando...
Cargando...
Configuración de usuario
close menu
¡Te damos la bienvenida a Scribd!
Cargar
Lee gratis
Preguntas frecuentes y ayuda
Idioma (ES)
Iniciar sesión
0 calificaciones
0% encontró este documento útil (0 votos)
1K vistas
Tabla de Verdad Método Abreviado - LÓGICA APLICADA
Cargado por
Beatriz Elena Barreneche
Tabla de Verdad Método Abreviado - LÓGICA APLICADA
Copyright:
© All Rights Reserved
Formatos disponibles
Descargue
como PDF o lea en línea desde Scribd
Descargar
Guardar
Guardar Tabla de Verdad Método Abreviado - LÓGICA APLICADA para más tarde
0%
0% encontró este documento útil, undefined
0%
, undefined
Insertar
Compartir
Imprimir
Reportar
Tabla de Verdad Método Abreviado - LÓGICA APLICADA
Cargado por
Beatriz Elena Barreneche
0 calificaciones
0% encontró este documento útil (0 votos)
1K vistas
8 páginas
Información del documento
hacer clic para expandir la información del documento
Tabla de Verdad Método Abreviado - LÓGICA APLICADA
Derechos de autor
© © All Rights Reserved
Formatos disponibles
PDF o lea en línea desde Scribd
Compartir este documento
Compartir o incrustar documentos
Opciones para compartir
Compartir en Facebook, abre una nueva ventana
Facebook
Compartir en Twitter, abre una nueva ventana
Twitter
Compartir en Linkedin, abre una nueva ventana
LinkedIn
Compartir por correo electrónico, abre un cliente de correo electrónico
Correo electrónico
Copiar enlace
Copiar enlace
¿Le pareció útil este documento?
0%
0% encontró este documento útil, Marcar este documento como útil
0%
A un 0% le pareció que este documento no es útil, Marcar este documento como no útil
¿Este contenido es inapropiado?
Reportar
Tabla de Verdad Método Abreviado - LÓGICA APLICADA
Copyright:
© All Rights Reserved
Formatos disponibles
Descargue
como PDF o lea en línea desde Scribd
Descargar ahora
Descargar como pdf
Guardar
Guardar Tabla de Verdad Método Abreviado - LÓGICA APLICADA para más tarde
0 calificaciones
0% encontró este documento útil (0 votos)
1K vistas
8 páginas
Tabla de Verdad Método Abreviado - LÓGICA APLICADA
Cargado por
Beatriz Elena Barreneche
Tabla de Verdad Método Abreviado - LÓGICA APLICADA
Copyright:
© All Rights Reserved
Formatos disponibles
Descargue
como PDF o lea en línea desde Scribd
Guardar
Guardar Tabla de Verdad Método Abreviado - LÓGICA APLICADA para más tarde
0%
0% encontró este documento útil, undefined
0%
, undefined
Insertar
Compartir
Imprimir
Reportar
Descargar ahora
Descargar como pdf
Saltar a página
Está en la página 1
de 8
Buscar dentro del documento
TABLA DE VERDAD METODO ABREVIADO VERDAD LOGICA Es una verdad que depende de la combinacién de sus propios elementos. Es por ello una verdad funcional. Es una verdad que surge de la edructura, es decir de la combinacién de variablesy constantes As{por ejemplo: sea A= pra. El valor de verdad que asume A depende de (esta en funcién de| los valores que pueda asumir p (V oF), losvalores que pueda asumirq [Vo F) y del tipo de conexién que se establece entre variables y constantes (en ese caso: conjuncién) . TABLAS DE VERDAD La ligica ha establecido reglaspara determinar el valor deverdad delas estructuras ligicas, empe- zando por las estructuras més simples. Estas reglas decAlculo del valor de verdad se llaman Tablas de Verdad. Pararealizar éste métado se utiliza un cuadro de doble entrada en el cual se especifican cuatro Areas Maigen | Cuerpo Superior | Superior ms) | (Csi Expresado en una | Maigen | Cuerpo |~ Tabla de Verdad Inferior | Inferior (MI) (Ch 1. MS; Zona donde secoloca las variables proposi- cionales. 2. Mi: Zona donde se coloca las combinaciones de verdad y/o falsedad que van a asumir las variables. 3. CS:Zona donde coloca la férmula 0 esquema molecular. 4, Cl: Zona donde secoloca los valores vetitativos quevan a asumir las constantes Iégicas, En esta zona se ubiea la matriz principal o resultado fi- nal del esquema molecular. FUNCIONES VERITATIVAS Y SUS TABLAS DE VERDAD a Conjuncién Ejemplo: Jaime es punetio y bailarin. Tabla de verdad Regla > “Una proposicién conjuntiva es verdadera si sus proposiciones componentes son verdaderas, en otros casos serd falsa”. b. Disyuncién Inclusiva Ejemplo: Pedro es ambulanteo cantante. Tabla de verdad Regla ~ “Una proposictén disyuntiva in- clusiva es falsa si sus proposicto- nes componentes son falsas, en otros casos serd verdadera”.c, DISYUNCION EXCLUSIVA. Ejemplo: © Sitvio Rodriguez es cubano o peruano. Tabla de verdad Regla = “Una proposicién disyuntiva ex- clusivaes faisasélo si sus propo- siciones componentes tienen igual valor verititativo (verdade- 10 0 falso), caso contrario es ver dadero”. d. BICONDICIONAL Ejemplo: Aumentan los salatios si s6lo si hay crisis social Tabla de verdad es verdadera sélo si sus proposi- ciones componentes tienen igual valor veritativo (verdad 0 falso), caso contrario serdfalsa”. e. CONDICIONAL Ejemplo: Sicantamos en la noche entonces des- pertaremos al vecindario. Tabla de verdad Regla > “Una proposicién condicional es fatsa séto si su antecedente es verdadero ysi su consecuente es NEGACION Ejemplo: Es imposible que Celia Cruz sea rockera Tabla de verdad Regla > “Siuna proposicién es verdade- ra, su negacion es faisa y sf una proposicién es faisa, su negacion es verdadera”. EVALUACION DE ESQUEMAS, MOLECULARES POR TABLAS DE VERDAD 1. Esquema Molecular: Estructura légica que resul- ta de combinar el sistema de simbolos dela légi- ca propasicional, luego de la formalizacién del lenguaje natural. Dichos sistemas de simbolos est4n-tonstituidos por las variables, constantes y _. signos de agrupacién. Ejemplo: B=(poq)ar B esun esquema molecular conjuntive 2. Pérmula Bien Formada (FBP): Es el esquemaen el cual lasvariables, constantesy signos de agru- pacién cumplen con su respectiva funcién, sin presentar ambigitedad. Puede ser simple o com- puesta Ejemplo (1): C=(pag)>aq Cesun esquema molecular condicional Ejemplo (2): P Py cualquier variable proposicional siempre es una férmula bien formada. 8, Formula Mal Formada (FMP): Es aquel esxyuema que no se cifie a las reglas de formalizacién y ademAs presenta ambigiiedad. Ejemplo: ~Pq fats. Es una FMF a Ia falta de un conectivo diddico.4. Jerarquia en el Esquema Molecular: Dentro dela estructura de un esjuema molecular, s6lo una de las constantes es la de mayor jerarquifa, permi- tiendo su denominacién: 1 4 8 2 A={[((pea)vr]>s} En el esquema A la jerarquia es la siguiente: ~= conectivo de 1° jerarquia >= conectivo de 2° jerarquia v= conectivo de 3° jerarquia = conectivo de 4° jerarquia 5. Evaluacién de Esquemas moleculares: Con- siste en obtener elvalor o valores de la constante de mayor jerarquia a partir de los valores de verdad o falsedad de cada una de las variables proposicionales, Pasos: 1. Determinar el nimero de combinaciones veritativas en funcién al nftmero de varia- bles proposicionales. 2, Establecerla jerarquia de constantes. 3. Comenzar la evaluacién por la constante de menor jerarquia. 4, El resultado final esta determinado por los valores de verdad de la constante principal. 2No: Para determinar el ntimero de combi- nactones, se debe aplicar ta formula 2” donde n=mitmero de variables. 6. Casos a (~q>-p)e(p>q) Como existen 2 variables, aplicando la fér- mula tenemos 2” = 4 (namero de combina- ciones). (a >~p) <> ip Cuando todos los valores de la matriz princi- pal son verdaderos el esquema es tautolégi- co 0 légicamente valido. b. Evaluar ~(p>a)a(- pva) pa >a) a (~pva) vv v VOF F Fv v FOF v F Matiz principal Cuando todos los valores de la matriz princi- pal son falsas el exquema es contradictorio 0 también llamado inconsistente o incontin- gente. c. Evaluar (~pva)@ (pa) [-pvqa)@(p>~-aq) pa vv VF FV FF
q@ a ba vt] (1a) OO OO OO ©® ©O © O Existe contradiceién No Tautolagica Es tautolégicotenn wuw LIBROSPDFE.blogspot.com 16 — METODO ABREVIADO PASO A PASO PRIMER PASO {lp oq 4 > 8] a ba vn} > bp v ~) OO 090 00 © © Deben ser (F) para que la disyuncién sea (F) P=v reV SEGUNDO PASO lp oq) 6 > 8} 4 Faves} o> bp vt) GOGO 00 © © En la conjuncién necesit4bamos 2 valores @) TERCER PASO Keped a fos] 0 baves} > bp vel En cada condicional necesita valores(Q) para que cumpla la condicién q = V s=VCUARTO PASO {ipsa 0 (8) 4 Faves} > py ~) Contradiccién / El esquema no puede ser tautolégico Preguntas de Ensayo 1. éQué son funciones veritativas? estos Valores de verdad ya no dependen de la Sustentacion: _.correspondencia con la realidad sino de las si- Son losvalores de verdad que se calculan en las tuaciones antes mencionadas. férmulas bien formadas. Para este cleulo toma= mos en cuenta la posibilidad de la variable (ver- 2. cQué diferencia una férmula tautalégica de una dad 0 falsedad) y ademés el tipo de constante contradictoria? Idgica [conjunei6n, condicional, ete.) que vin- Sustentactén: cula las variantes y se llaman funciones porque Preguntas 8. Hallar la matrizde: (~p—q)<(pa~a) Al VFVF B) FY ©) WEF D) FFFV—E) FVFV 1. Evaluar elsiguiente esquema: (pra) > pva) A) Consistente B) Falso C) Contradictorio D) Vaidadero E) Tautologieo 4, Sabiendo que (~P >~q) es falsa, determinar elvalor del esquema siguiente: 2. Hallar la mattiz del siguiente esquema: (pag) > {[(rap) (ava) ]u(- a p)t [-p>a=p)] A) Contingente Bj Falso A) WEV B) VWF C) VF C) Tautolégico 1D) Verdadero D) FRW E) VFVP E) Contradictorio5. Sabiendo que p#q= (pa ~ q), determina qué se obtieneen la matrizde: (p#q)#(p#q)#q A) VFFV B) FVVF C) VVFF D) FRW E) FVFP 6. Sabiendo que la proposicién: “Maria estudia tanto como trabaja” es verdadera. {Cualde las siguientes proposiciones es falsa? A) Trabaja de manera que estudia. B) Estudia o trabaja C) Trabaja siy s6lo si estudia. D}_ Estudia pues trabaja E) Otrabajao estudia. 7. En la mattiz principal del esquema encontra- mos; [(p 4) * (ao n)] > (rv~9) 8. Indicar qué tipo de esquema es el siguiente: [wag (ay) A) Contradietorio. B) Verdadero C) Tautolégico D) Falso E) Consistente 9. Determinar cémo es el esquema: [(pe~ aya ave)] >[oa9)>~a] B)_ Falso D) Verdadero A) Tautolégico C) Contradictorio E} Contingente 10. Si la formula es falsa, équé valor asumen sus variables respectivamente? ~(pv~ abv [av ~)v(avp)] A) VFV B) WV C) RF A) Almenosuna falsedad. D) Fw E) FV B) Sélo verdades. C) Sélo falsedades. D) Sélo una verdad. E) Verdadesy falsedades. Autoevaluacion 1.
-deL- rove al} A) Tautolégico C) Consistente E) Contradictorio B) Falso D) Verdadera 4, Elesquemaes ~(p—>4) (pa —a) AT Bt CQO DV EFFSt [(P> a)er]A(rrp) esverdadero, équé valor tiene la variable q? AT BV CL DF EQ Sila formula es falsa indicar el valor de las varia- bles: (pvp) e[-a >(rva)] A) FEF B) VEV Cc) FFV D) WE 5) ww . Sip yq tienen valores iguales, écémo son los valoresdery ssabiendo queel esquema es falso? = © pong) (rvs) B) VF C) Valoresdistintos E) Vv A) FF D) W 8. Sabiendo que el esquema es verdadero: (pr~qya(qer) équé valor asumen lossiguientes esquemas? L (pag) (rvp) I (vaja~@on A) FFB) FV) C) WF OD) @Q EF) W 9. Sila formula siguiente es falsa indica e valor de las variables respectivamente: ~(p+~a)y[(aa~nv(a > P)] A) PVF B) VEF c) we D) FEV E) WF
También podría gustarte
DPE - RESUMEN Ubp
Documento
42 páginas
DPE - RESUMEN Ubp
Clever Piva
100% (1)
Derecho Penal Aduanero
Documento
39 páginas
Derecho Penal Aduanero
Beatriz Elena Barreneche
Aún no hay calificaciones
Cuadro Sinoptico de Delitos Derecho Penal Economico
Documento
2 páginas
Cuadro Sinoptico de Delitos Derecho Penal Economico
Beatriz Elena Barreneche
Aún no hay calificaciones
1° Evaluación PP
Documento
9 páginas
1° Evaluación PP
Beatriz Elena Barreneche
Aún no hay calificaciones
Derechos Reales
Documento
210 páginas
Derechos Reales
Beatriz Elena Barreneche
Aún no hay calificaciones
Derecho Practico - Parte 1 - Martin Güernik
Documento
304 páginas
Derecho Practico - Parte 1 - Martin Güernik
Beatriz Elena Barreneche
100% (1)
Acciones Reales
Documento
1 página
Acciones Reales
Beatriz Elena Barreneche
Aún no hay calificaciones
Manual de Mediacion PDF
Documento
122 páginas
Manual de Mediacion PDF
Beatriz Elena Barreneche
100% (1)
Reales
Documento
15 páginas
Reales
Beatriz Elena Barreneche
Aún no hay calificaciones
Derecho de Familia - Arturo R. Yungano
Documento
322 páginas
Derecho de Familia - Arturo R. Yungano
diadcr
Aún no hay calificaciones