Sentinental Logic 2016

Conjunctions
P & Q
- Sentences linked with and
- and = &
Disjunctions
P V Q
- Sentences linked with or, either...or
- or = V
Negations

~P

Phrases like: not, it is not the case that, it is false that = ~
Conditionals

P ⊃ Q

If then statements = ⊃
Biconditionals

P ≡ Q

If and only if = ≡
P if Q

Q ⊃ P
P is necessary for Q

Q ⊃ P
P given Q

Q ⊃ P
P provided Q

Q ⊃ P
P is sufficient for Q

P ⊃ Q
P implies Q

P ⊃ Q
In order for P, Q

P ⊃ Q
P only if Q

P ⊃ Q
P unless Q

~Q ⊃ P
And translations (6 different ways)
- All below are translated to P & Q:
- - Both P and Q
- - P but Q
- - P whereas Q
- - P however Q
- - P nevertheless Q
- - P moreover Q
It is false that P

~P
P if but only if Q

P ≡ Q
P just in case Q

P ≡ Q
Neither P nor Q
- ~P & ~Q
- or
- ~(P V Q)
It is not the case that both P & Q
- ~(P &Q)
- or
- ~P V ~Q
Truth-Functional Paraphrasing: James and John will go to the movies

Both James will go to the movies and John will go to the movieh
Truth-Functional Paraphrasing: James or John will go the movies

Either James will go to the movies or Jogn will go to the movies
Truth-Functional Paraphrasing: James will not go to the movies

It is not the cast that John will go to the movies
Truth-Functional Paraphrasing: I will go if you go

If you go, then I will go
Truth-Functional Paraphrasing: Jane is a bachelorette just in case Jane is an unmarried woman.

Jane is a bachelorette if and only if Jane is an unmarried woman

Author

Dnuorgrednu2

323464

Card Set

Sentinental Logic 2016

Description

Sentinental Logic 2016

Updated

2016-09-22T01:50:03Z

Show Answers