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

 

 

 

 

 

 

 

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

 


Podziel się z innymi: Facebook Google Tweet This

POLECAM
Tomasz Grebski

 

 

 


 

 

 


 

 

 

 

 

 


TEORIA
Logowanie
Nazwa użytkownika

Hasło



Nie możesz się zalogować?
Poproś o nowe hasło