Home
Flashcards
Preview
Sentinental Logic 2016
Home
Get App
Take Quiz
Create
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
ID
323464
Card Set
Sentinental Logic 2016
Description
Sentinental Logic 2016
Updated
2016-09-22T01:50:03Z
Show Answers
Home
Flashcards
Preview