RULES for 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/14

encourage image

There's no tags or description

Looks like no tags are added yet.

Last updated 12:54 PM on 4/23/26
Name
Mastery
Learn
Test
Matching
Spaced
Call with Kai

No analytics yet

Send a link to your students to track their progress

15 Terms

1
New cards

Repetition - R

knowt flashcard image
2
New cards

Modus Ponens - mp

knowt flashcard image
3
New cards

Modus Tollens - mt

knowt flashcard image
4
New cards

Double Negation - dn

knowt flashcard image
5
New cards

Simplification - s

  • for conjunction

<ul><li><p>for conjunction</p></li></ul><p></p>
6
New cards

Adjunction - adj

  • for conjunction

<ul><li><p>for conjunction</p></li></ul><p></p>
7
New cards

Addition - add

  • for disjunction

<ul><li><p>for disjunction</p></li></ul><p></p>
8
New cards

Modus tollendo ponens - mtp

  • for disjunction

<ul><li><p>for disjunction</p></li></ul><p></p>
9
New cards

Biconditional-to-conditional - bc

  • for biconditional

<ul><li><p>for biconditional</p></li></ul><p></p>
10
New cards

Conditional-to-biconditional - cb

  • for biconditional

<ul><li><p>for biconditional </p></li></ul><p></p>
11
New cards

Negation of conditional - nc

  • based on T40

<ul><li><p>based on T40</p></li></ul><p></p>
12
New cards

Conditional as disjunction - cdj

  • Based on T45, T46

<ul><li><p>Based on T45, T46</p></li></ul><p></p>
13
New cards

Seperation of cases - sc

based on T33, T49

<p>based on T33, T49</p>
14
New cards

DeMorgan’s - dm

  • based on T63-66

<ul><li><p>based on T63-66</p></li></ul><p></p>
15
New cards

Negation of biconditional - nb

Based on T90

<p>Based on T90</p>