Compendio De Reglas De Logica
it
could
also
be
p
-‐>
~q
q
then
~p
Ley
de
translacion
(p
^
q)
-‐>
r
______________
:
p
-‐>
(q
-‐>
r)
p
-‐>
(q
^
r)
_______________
:
(p ^
q)
-‐>
r
Formalizacion
del
lenguaje
Natural
al
lenguaje
de
logica proposicional
http://pepazambudio1.blogia.com/2010/120801-‐formalizacion-‐del-‐lenguaje-‐natural-‐al-‐ lenguje-‐del-‐la-‐logica-‐proposicional.php
p-‐>
q
Si p,q Si p entonces q p es condición suficiente para q p es suficiente para q q con la condición de que p
q es condición necesaria para p q es necesaria para p q si p Siempre que p, q Dado que p, qEn caso de que p, q p sólo con la condición de que q p sólo si q La expresión a no ser que y a menos que se puede traducir como una disyunción o como un condicional. En este último caso toma la formade ¬q ---> p. Recordar que las condiciones suficientes introducen antecedentes, las condiciones necesarias consecuentes. En caso de que introduce al consecuente. La expresión sólo si introduce siempreel consecuente.
Pvq
poq O bien p o q p a menos que q p a no ser que q Opoq
P^q
pyq p, sin embargo q Tanto p como q p pero q p aunque q p y también q p, q p a pesar de q
La expresión nip ni q es una conjunción en la que cada uno de sus miembros está negado (¬p ∧¬q)
p - estudiante se capacita (estudia) q – desarrollo nuevas competencias r – tener calidad de vida
P
-‐>...
Regístrate para leer el documento completo.