MI LogicaProposicional 16

LÓGICA PROPOSICIONAL
1 = V: verdadero
PROPOSICIONES
0 = F: falso
^q
pvq
pvq
V
V
V
F
V
F
F
V
V
F
V
F
V
V
F
F
F
conjunción
F
disjunción
p
q
p q
.
p+q
pq
1
1
1
1
0
1
0
0
1
1
0
1
0
1
1
0
0
0
0
0
p
q
V
p
TABLAS DE VERDAD
F
disjunción exclusiva
Metodología de la Investigación ‐ 2016
LÓGICA PROPOSICIONAL
1 = V: verdadero
PROPOSICIONES
p
q
pq
V
V
V
V
F
F
F
V
V
F
F
V
implicación
~p es la negación de p
~p es el opuesto de p
p ~p
V
F
F
V
0 = F: falso
Si …. entonces ….
TABLAS DE VERDAD
SILOGISMO

razonamiento correcto
Una cosa puede ser OPUESTA a otra de cuatro maneras:
por relación (ejemplo: doble y mitad)
por contrariedad (ejemplo: bien y mal)
por privación opuesta a la posesión
(ejemplo: ceguera y visión)
por afirmación opuesta a la negación
(ejemplo: está sentado, no está sentado)
Metodología de la Investigación ‐ 2016
1
LÓGICA PROPOSICIONAL
CONDICIONALES (IMPLICACIONES)
p ~p q ~q
pq
qp
~p~q
V F V F
V
V
V
V
V F F V
F
V
V
F
F VV F
V
F
F
V
V
contraria
V
contra‐recíproca
V
directa
pq
V
recíproca
recíprocos
~p~q
qp
contrarios
contrarios
F VF V
~q  ~p
recíprocos
~q  ~p
Metodología de la Investigación ‐ 2016
FIN
2