Symbolic Logic

0.0(0)
Studied by 0 people
call kaiCall Kai
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
GameKnowt Play
Card Sorting

1/4

encourage image

There's no tags or description

Looks like no tags are added yet.

Last updated 4:34 AM on 4/30/26
Name
Mastery
Learn
Test
Matching
Spaced
Call with Kai

No analytics yet

Send a link to your students to track their progress

5 Terms

1
New cards

Negation

  • Negation/denial of true statement is a false statement

  • ~ = tilde meaning “not”

<ul><li><p>Negation/denial of true statement is a false statement </p></li><li><p>~ = tilde meaning “not”</p></li></ul><p></p>
2
New cards

Conjunction

  • True if and only if both statements are true

  • (.) = and, but, yet, although, even though, nonetheless

<ul><li><p>True if and only if both statements are true</p></li><li><p>(.) = and, but, yet, although, even though, nonetheless</p></li></ul><p></p>
3
New cards

Disjunction

  • True unless BOTH statements are false

  • v = wedge

<ul><li><p>True unless BOTH statements are false </p></li><li><p>v = wedge</p></li></ul><p></p>
4
New cards

Conditional

  • False only when antecedent (p) is true and consequent(q) is false

  • > = Horseshoe = if p then q, p only if q, provided that p,q

<ul><li><p>False only when antecedent (p) is true and consequent(q) is false</p></li><li><p>&gt; = Horseshoe = if p then q, p only if q, provided that p,q</p></li></ul><p></p>
5
New cards

Biconditionals

  • True only when both statements share the same truth value

  • If and only if, just in case, is a necessary and sufficient condition

<ul><li><p>True only when both statements share the same truth value </p></li><li><p>If and only if, just in case, is a necessary and sufficient condition </p></li></ul><p></p>