boletin logica completo
DESCRIPTION
matematicaTRANSCRIPT
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