Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- |--------------|-------------|---------------|---------------|
- | α | β | α → β | β → α |
- |--------------|-------------|---------------|---------------|
- | (P ∨ ¬P ) | (P ∧ ¬P) | Contradictory | Tautologous |
- |--------------|-------------|---------------|---------------|
Add Comment
Please, Sign In to add comment