Upload
fernando-root-marquez
View
5
Download
1
Embed Size (px)
DESCRIPTION
Lógica simbólica
Citation preview
Lgica simblicaConectivas lgicasExpresinSmbolos
ConjuncinY, si, tambin, adems.^
Disyuncin inclusiva O.V
Disyuncin exclusivaOOV
Condicional Si entoncesPor lo tantoLuego,
Bi-condicionalSi y solo s.
NegacinNo, nunca, no es cierto que.~
Variables: P, Q, R, S, T ZPueden sustituir:a) proposiciones simples (atmicas). Afirman una cosa.b) proposiciones compuestas (moleculares). Afirman en una sola proposicin 2 cosas, o ms.P, Q, R, S, T Z1: Hoy no es un da soleado ~ T
2: Sers estudiante si y solo si decides aprender. Q T
3: Si el cruz azul gana entonces ser el campen. S T
4: Tocare la guitarra o ser vocalista. T V P
5: O haces la tarea o no sales a jugar. R ~ Q
Signos de agrupacinParntesis( )
Corchetes [ ]
Llaves{ }
Ejercicio:1: El domingo descansare, si y solo si no tengo tarea pendiente.2: Si te alimentas bien y haces ejercicio entonces estars sano.3: Si no voy a la fiesta, entonces estoy castigado o me quede a ver la televisin.4: Soy un deportista honesto si y solo si no uso sustancias prohibidas y respeto las reglas de juego.5: Si me visitas y te quedas a comer entonces te preparare un rico platillo y te ofrecer un buen vino.Resolucin:1: R ~S2: (T P) Q3: ~ P (Q V S) 4: R ( ~ S T )5: (R S) (T Q)
Tablas de verdadConjuncin
P QP ^ Q
V V V
V F F
F V F
F F F
Disyuncin exclusiva
P QP Q
V VF
V F V
F V V
F F F
Disyuncin inclusiva
P QP V Q
V V V
V F V
F V V
F F F
Bi-condicional
P QP Q
V V V
V F F
F V F
F F V
Condicional
P QP Q
V V V
V F F
F V V
F F V
Negacin
P~ Q
VF
F V
Si respiro entonces estoy vivo no estoy vivopor lo tanto no respiro
P Q [ (P Q) ~ Q ] ~P ~Q. ~P.PQ[(P Q) ~ Q ] ~P
VVVVVFFVF
VFVFFFVVF
FVFVVFFVV
FFFVFVVVV
Tautologa P Q(P Q) V ~ Q
VV VV VV F
VFVFFVV
FVFVVVF
F FF VF VV
ContingenciaP Q (P Q) ( ~ Q Q )
VV VV VVF VV
VFVFFFVVF
FVFFVFFVV
F FF VF V VV F
ContingenciaP Q [(P Q) P] ~ P
VV VFVVVF F
VFVVFFVFF
FVFVVFFF V
F FF F F V F V V
Mrquez Julio Fernando 2IM9