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égicotenn 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=VCUARTO 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) Contradictorio5. 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 EFFSt [(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