TE ee ee mex NIG 11! Los signos de ‘agrupacién (paréntesis, corchetes, Haves) son usados para indicar ta Jjerarquia y evitar ‘ambigitedades en esquemas ldgicos mas complejos. ex CHOW A las formulas logicas se les suele denotar por letras mayiisculas: P, Q, R, ast en nuestro ejemplo: Piip=eg A G=> N= pon) @ Formu.as Locicas Tenemos el siguiente enunciado: (= 4 G=D] = (P= observamos que se encuentran relacionadas tres proposiciones compuestas basicas por medio de conectivos ldgicos y separadas por signos de agrupacién, A la combinacién de proposiciones, conectivas Iégicos y -signos de agrupaci Jes Hama formulas Idgicas 0 esquema molecular, Toda formula l6gica tiene su tabla de valores de verdad. Evaluar una formulaes determinar su tabla de valores de verdad, aplicando las definiciones de las proposiciones compuestas basicas, siguiendo la jerarqufa determinada por los signos de agrupaci6n, En cada f6rmula I6gica solamente uno de los conectivos légicos es el de mayor jerarquia y es él quien determina el valor de verdad de dicha formula, Ejemplo 1: Evalucmos la férmula légica propuesta anteriormente. Solucién: (pg A G=nl> Pn =| amecumecb meaenen<|* esns nas eenacene a aaeennee @l[enaauene ®@ : El valor de verdad de la férmula légica esté dado por la condicional en Ia columna 5, porque es la de mayor jerarqufa. Esta férmula légica es una TAUTOLOGIA, pues todos sus valores de verdad son verdaderos. Ejemplo 2; Evaluemos la siguiente formula légica: (pv q) => ~ Pp) a P Solucién: pal (ov) => -pl a pb vv Vv] TFTA Vv vor vy] [elle Vv FY v1 |v] vj F FOr F| lvJLvI F oO ®@ o®@ DlaEl valor de verdad de la férmula l6gica esta dado por la conjuncién en la columna 5, donde todos los valores de verdad obtenidos son falsos. En este caso se dice que dicha formula i Iégica es una CONTRADICCION, pues todos sus valores de verdad son falsos. Ejemplo 3: Evaluemos la siguiente formula Wégica: (p 4 q) > ~ p Solucidn: | ma< r) => (r v q) es falsa, determina el valor de verdad de las proposiciones p.q.r. Solucién: 4) Observamos que el conectivo principal de la proposicién compuesta es a condicional por ser el de mayor jerarqufa, determinada por los signos de agrupacién. Por lo tanto, es quien determiné que el valor de la proposicién sea falsa (F). Tambien podemos wilicar el siguiente esquema i =n ae a Asi, tenemos: cpa ita ome 6A...) Wi 7 © © ©®©® consecuente es falso (F). En nuestro ejemplo, (~ p=>r) es el antecedente y (rv q) es como ~p es falsa, pes ¢1.consecuente, asf: Cpsnseva verdadera i ©®® iil) Al analizar el antecedente tendriamos 3 posibilidades, pues la condicional es verdadera En cambio, al analizar el consecuente existe una sola posibilidad, ya que la disyuncién es falsa slo cuando las dos proposiciones son falsas, luego: r es falsa (F), q es falsa (F) MEE SSRETO a ——s FFF _. Comprueba ios valores de iv) En (~ p=>rr)le asignamos el valor de verdad de r obtenida en el paso anterior, por lo que verdad obtenidos en el =p es falso ejemplo 2 determinando =e tatabla de valores de ®ve verdad. v) Como ~ p es falso, entonces p es verdadero. ISIE __ vi) Luego de iii) yv) : pesV.qesF y resF. ~ - 1. inept em P: (~p=>q) a (q= ~p) ao ~(—4=>P)y ~ & Cav ~parwva, ‘Te=pa~pa~p { Ri (pag)v (—pa -q) 2 Sila proposicién compuesta ~ pA (q= p)es verdadera, determina el valor de verdad de: a. (p=q)eo~p b. [Iq=>pl=>(-Pv ~q) ¢. (~p=>~q) A (-pvag) &. (~pag)v > ~p)