((p⇒q)⋀p)⇒q
| p | q | p⇒q | (p⇒q)⋀p | ((p⇒q)⋀p)⇒q |
| v | v | v | v | v |
| v | f | f | f | v |
| f | v | v | f | v |
| f | f | v | f | v |
((p⇒q)⋀¬p)⇒¬q
| p | q | ¬p | ¬q | p⇒q | (p⇒q)⋀¬p | ((p⇒q)⋀¬p)⇒¬q |
| v | v | f | v | v | f | v |
| v | f | v | f | f | f | v |
| f | v | f | v | v | v | f |
| f | f | f | v | v | v | v |
| p | q | p⇒q | (p⇒q)⇒p | [(p⇒q)⇒p]⇒p |
| v | v | v | v | v |
| v | f | f | f | v |
| f | v | v | f | v |
| f | f | v | v | v |
| p | q | ¬p | ¬q | (¬p⋀¬q) | p⇔q | (¬p⋀¬q)⇒(p⇔q) |
| v | v | f | f | f | v | v |
| v | f | f | v | f | f | v |
| f | v | v | f | f | f | v |
| f | f | v | v | v | v | v |
Muy interesante la explicación. Me ha servido de mucho. Gracias por compartir sus conocimientos.
ResponderEliminarMuy interesante la explicación. Me ha servido de mucho. Gracias por compartir sus conocimientos.
ResponderEliminar