MATEMATYKA
Polub moją stronę:)
VIDEO
Tomasz Grębski Tomasz Grębski
     
 

 

 
   

 

 
                      

               

 

Klasa 1 - Logika
Nowa strona 2
Spójniki logiczne

 


Symbole oznaczające zdania
zdanie prawdziwe: Formula
zdanie fałszywe: Formula

Formula - spójnik negacji - nieprawda, że Formula

Formula Formula
1 0
0 1


Formula - koniunkcja - Formulai Formula

Formula Formula Formula
1 1 1
1 0 0
0 1 0
0 0 0


Formula - alternatywa - Formulalub Formula

Formula Formula Formula
1 1 1
1 0 1
0 1 1
0 0 0


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

 

Formula Formula Formula
1 1 1
1 0 0
0 1 1
0 0 1


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

 

Formula Formula Formula
1 1 1
1 0 0
0 1 0
0 0 1

Prawa rachunku zdań
 

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

Formula- koniunkcja - Formulai Formula

Formula- alternatywa - Formulalub Formula

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

 

Formula- równoważność - Formulawtedy 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

 

Logowanie
Nazwa użytkownika

Hasło



Nie masz jeszcze konta?
Zarejestruj się

Nie możesz się zalogować?
Poproś o nowe hasło
POLECAM
Mathteacher Matura Tomasz Grebski





 

 

 





Tomasz Grebski