Truth Functional Logic Help
- sarahlogic21
- New Trial Member
- Posts: 1
- Joined: November 24th, 2022, 10:31 am
Truth Functional Logic Help
Note: In this textbook, the double turnstile is used to symbolise tautological validity between arbitrary sentences of TFL. It is not a symbol of TFL, but rather a symbol of augmented English used to describe arbitrary sentences of TFL. The conditional is a symbol of TFL, unlike the double-turnstile. Also, the letters in the questions are used to symbolise any arbitrary sentence of TFL, not specific ones.
Question: Are the following claims about tautological validity true or false?*
*If you could explain your position on each question that would be really useful. Truth-tables can also be used.
1. If A ⊨ B, then B ⊨ A
2. If A ⊨ C, then A ∧ ¬C ⊨ C.
3. If A ∨ B ⊨ C ∧ D, then A ⊨ C
Any help with this would be appreciated. Thank you.
-
- Posts: 433
- Joined: March 5th, 2018, 4:27 am
Re: Truth Functional Logic Help
So I dont know how any of those ideas have any concept of 'sentences', they are all about statements and propositions, so I really have no idea what you are saying.
2023/2024 Philosophy Books of the Month
Mark Victor Hansen, Relentless: Wisdom Behind the Incomparable Chicken Soup for the Soul
by Mitzi Perdue
February 2023
Rediscovering the Wisdom of Human Nature: How Civilization Destroys Happiness
by Chet Shupe
March 2023