32
Logik (Subject) / Logik (Lesson)
Advertisement
- ^ Konjunktion
- v Alternation
- -> Konditional
- = Bikonditional
- - Negation
- Allg. Konditional Implikation
- Allg. Bikonditional Äquivalenz
- (p -> q) = -(p ^ - q) Mat. Konditional als Konjunktion ( auch mit "->" statt "=")/ -> Einsparungsregel 1
- (p -> q) = (-p v q) materiales Konditional als Alternation / -> Einsparungsregel 2
- (p v q) = ( -p -> q) Wenn schon nicht p, dann wenigstens q/v Einsparungsregel
- Advertisement
- - (p ^ q) = (- p v - q) De Morgan 1
- - ( p v q ) = ( - p ^ - q ) De Morgan 2
- ( p ^ q ) = - (- p v - q) De Morgan ( noch eine Version)/ ^Einsparungsregel 1
- (p v q) = - (- p ^ - q ) De Morgan ( noch eine)
- - ( p -> - q ) = ( p ^ q ) ^ Einsparungsregel 2
- ( p ^ ( q v r ) = ( p ^ q ) v ( p ^ r ) Distribitutionsregel
- ( p = q ) = ( p -> q ) ^ ( q -> p ) Def. Bikonditional ( Spaghetti-Einsparungsregel )
- ( p D* q ) = ( p v q ) ^ - ( p ^ q ) Def. Disjunktion
- ( p = q ) -> ( p -> q ) Bikonditional stärker als Konditional
- ( p D* q ) -> ( p v q ) Dusjunktion stärker als Alternation
- (p -> q ) = ( - q -> - p ) Kontraposition
- (p -> q ) -> ( - q -> - p ) Kontraposition ( von links nach rechts)
- ( - p -> - q ) -> ( q -> p ) Kontraposition ( Gegenrichtung, von rechts nach links )
- ( p -> ( q -> r )) -> (p ^ q -> r ) Import( -ationsgesetz)
- (p ^ q -> r ) -> ( p -> (q -> r )) Export( -ationsgesetz))
- ( p -> q ) ^ ( q -> r ) -> ( p -> r ) Transivität von ->, Kettenschluss
- - p -> ( p -> q ) 1. Paradoxie der materiellen Implikation
- p -> ( p -> q ) 2. Paradoxie der materiellen Implikation / Hinzufügungsregel
- ( p ^- p ) -> q ex falso quodlibet ( EFQ )
- - ( p ^ - p ) Nichtwiderspruchssatz (NWS)
- Advertisement
- p v - p Satz vom ausgeschlossenen Dritten (SAD)
- p = - - p Gesetz der doppelten Negation (DN)