Leniwiec.edu.pl

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

Artukuły

O Leniwcach
Prawa rachunku zdań Drukuj Email

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

 
« poprzedni artykuł   następny artykuł »
 

ciąg   einstein   elementów   fizyki   funkcji   jeden   kart   liczba   liczby   mechaniki   pierwsze   postaci   prawdopodobieństwo   równania   suma   teorii   wzór   zbiór   zdarzenia   zdarzenie         

Created with AkoCloud 1.1 final.

Login Form
Nie pamiętam hasła
Konto? Zarejestruj się!