Leniwiec.edu.pl

Strona główna Kontakt Forum Disclaimer
 
Na skróty

Artukuły

O Leniwcach
Prawa rachunku zdań Drukuj E-mail

Spójniki logiczne
Formula - spójnik negacji - nieprawda, że Formula

Formula - koniunkcja - Formula i Formula

Formula - alternatywa - Formula lub Formula

Formula - spójnik implikacji - jeżeli Formula to Formula (Formula - poprzednik implikacji, Formula - następnik implikacji)

Formula - równoważność - Formula wtedy i tylko wtedy gdy Formula

1. Prawo sprzeczności
Dwa zdania sprzecznie nie mogą być jednocześnie prawdziwe.

Formula


2. Prawo wyłączonego środka
Dwa zdania sprzeczne nie mogą być jednocześnie fałszywe.

Formula


3. Prawo podwójnego zaprzeczenia 
Zdania Formula oraz Formula mają tę samą wartość logiczną.
- warunek wystarczający dla Formula może nie być warunkiem koniecznym dla Formula,
- warunek konieczny dla Formula może nie być warunkiem wystarczającym dla Formula

Formula


4. Prawa de Morgana 
Zaprzeczeniem koniunkcji jest alternatywa zaprzeczeń.

Formula


Zaprzeczeniem alternatywy jest koniunkcja zaprzeczeń.

Formula


5. Prawo zaprzeczenia implikacji

Formula


6. Prawo przechodniości implikacji

Formula


7. Zasada kontrapozycji (transpozycja implikacji)

Formula


8. Prawo rozdzieloności koninkcji względem alternatywy

Formula


9. Prawo rozdzielności alternatywy względem koniunkcji

Formula

 
wstecz   dalej »
 

ciąg   doświadczenia   einstein   einsteina   elementów   fizyk   fizyki   funkcji   galileusz   jeden   jedna   jeszcze   kart   która   których   liczba   liczby   mechaniki   pierwsze   postaci   prawa   prawdopodobieństwo   rozwiązanie   równania   sposób   suma   teorii   tych   wiele   wyrazów   wzoru   wzór   zbiór   zdarzenia   zdarzenie         

Created with AkoCloud 1.1 final.

Login Form
Zapomniałeś hasła?
Nie masz konta? Załóż sobie