Advertisement
Dzikaff

A Truth Table with Connectives as Variables

Aug 31st, 2017
108
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.90 KB | None | 0 0
  1. I will use a truth table to deduce that REL in XXXX REL Yyyy is equivalent to ↑ as if ↑ were a variable.
  2.  
  3. 0110 1000 ↑ 0110 ↑ 1000 ↑ ↔ (0110 ↑ 1000)
  4.  
  5. 0 0 1 1 1
  6. 0 1 1 1 1
  7. 1 0 1 1 1
  8. 1 1 0 0 1
  9.  
  10. It appears to me that logicians do not intend connectives to be used as variables like that. But according to this same proof method:
  11.  
  12. 1001 0110 0001 ↔ ⊻ ∧ 1001 ↔ 1001 1001 ⊻ 0110 1001 ∧ 0001
  13.  
  14. 0 0 0 1 0 0 1 0 0
  15. 0 0 1 0 1 0 0
  16. 0 1 0 0 1 0 1
  17. 0 1 1 1 0 1
  18. 1 0 0 1 1 0
  19. 1 0 1 1
  20. 1 1 0 0
  21. 1 1 1
  22.  
  23. Therefore we can abbreviate 1001 ⊻ 0110 as ⊻ and 1001 ∧ 0001 as ∧ and state:
  24.  
  25. ⊻ ∧ ↑ ⊻ ↑ ∧ ↑ ↔ (⊻ ↑ ∧)
  26.  
  27. 0 0 1 1 1
  28. 0 1 1 1 1
  29. 1 0 1 1 1
  30. 1 1 0 0 1
  31.  
  32. Which reinforces the hypothesis that connectives can be used as variables like this.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement