FUNCIONES VERITATIVASNOCION TABLAS DE VERDADConsiste en obtener los valores del OPERADOR DE MAYOR JERARQUÍA

El número de combinaciones se obtiene con la formula 2n, n= número de variables

Determinar el valor veritativo de las siguientes formulas

CONJUNTIVA DISYUNTIVAINCLUSIVA

DISYUNTIVAEXCLUSIVA

CONDICIONAL BICONDICIONAL NEGACION

P q p ˄ q p ˅ q p ↔ q p → q p ↔ q ~ pVVFF

VFVF

VFFF

VVVF

FVVF

VFVV

VFFV

FV

ESQUEMA MOLECULAREs la combinación de variables y operadores lógicos.

CLASIFICACIONSegún: el resultado obtenido en el operador principal (matriz principal)1. TAUTOLOGICOS (T)Todos son verdaderas

2. CONTRADIC-TORIOS( )

3. CONSISTENTE O CONTINGENTE (Q)

Todos son falsos Tiene por lo menos una verdad y una falsedad

PASOSI. (p→q) ˄ [(q→p) ˄p] Nota: Colocar números del 1 a más a los

operadores de mayor a menor jerarquía respectivamente.

a. Hallar el valor veritativo de los siguientes esquemas sabiendo que el valor de p=V y q=F

II. (p→q) ˄ [(q→p) ˄p]

Si r es verdadero y la formula [(~p→q) ↔(r ˅ s)] ˅ ~t es falsa ¿Cuáles son los valores de p, q y t?

Si la proposición es verdadera hallar los valores de verdad de: p, q y r [(p ˄

1

VARIABLES PROPORCIONALES

ESQUEMA LOGICO

Combinaciones de V/F de variables.Valores de los conectivos (matrices)Margen

Cuerpo

Cuerpo

…….

~ (P ˄ ~P)(q→p) ˄p

~q)] ˄ ~r

Determinar el valor veritativo de las siguientes esquemas moleculares:

p q [p ˄ (p → q)] → qv v v v v v Vv f v f f v Ff v f f v v Vf f f f v v F

p q r p → (r ˅ ~ p ) ( q → ~ p) ˅ (~ r → ~ p )

v v V

v v Fv f Vv f Ff v Vf v Ff

1. RESOLVER: [(p => q ) p] => qa) VFFFb) VFVFc) VVVVd) FFFFe) FVVV

2. halle el tipo de esquema de la siguiente formula: (q r) → pa) tautológicob) contradictorioc) consistented) contingentee) incontinente

3. Señale la matriz principal: (p q ) pa) VVFVb) VFVVc) FVVVd) VVVV

2

4. RESOLVER: (p v q) => (p => q)a) VVVFb) FVVVc) FVFVd) FFFFe) VVVV

5. halle el tipo de esquema de la siguiente formula: (q r) → (p q)a) tautológicob) contradictorioc) consistented) contingentee) incontinente

3