|
p: "Los perros hablan."
|
pq:
|
|
"Ni los perros hablan, ni 101 dálmatas es
un documental." |
|
"Los perros hablan o 101 dálmatas es
un documental." |
q: "101 dálmatas es
un documental." |
|
"O los perros no hablan, o 101 dámatas es
un documental." |
|
"O los perros hablan, o 101 dálmatas no
es un documental." |
|
|
|
|
|
|
p: "Drácula sabe montar en monociclo."
|
p∨¬q:
|
|
"O bien Drácula sabe montar en monociclo,
o bien Frankenstein no es un experto taxidermista." |
|
"O Drácula no sabe montar en monociclo, o
bien Frankenstein no es un experto taxidermista." |
q: "Frankenstein no es un experto taxidermista." |
|
"O Drácula no sabe montar en monociclo, o
bien Frankenstein es un experto taxidermista." |
|
"O Drácula sabe montar en monociclo, o bien
Frankenstein es un experto taxidermista." |
|
|
|
|
|
|
p: "Los ordenadores no son máquinas
tontas"
|
¬q¬p:
|
|
"O los ordenadores son máquinas tontas, o
los elefantes temen a los ratones" |
|
"O los ordenadores no son máquinas tontas,
o los elefantes no temen a los ratones" |
q: "Los elefantes temen a los ratones" |
|
"O los ordenadores son máquinas tontas, o
los elefantes no temen a los ratones" |
|
"O los ordenadores no son máqinas tontas,
o los elefantes temen a los ratones" |
|
|
|
|
|
|
p: "La vida tiene sentido"
|
¬(pq):
|
|
"No es cierto que o la vida tenga sentido, o el sufrimiento
humano sea universal" |
|
"O la vida tiene sentido, o el sufrimiento humano
no es universal" |
q: "El sufrimiento humano es universal" |
|
"O la vida no tiene sentido, o el sufrimiento humano
es universal" |
|
"No es cierto que o la vida no tiene sentido, o el
sufrimiento humano sea universal" |
|
|
|
|