MATEMATYKA
Polub moją stronę:)
The Mathteacher FILM
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
 

 

 

 

 

 

 

 

 

 

 

 

 

 



TEORIA
Logowanie
Nazwa użytkownika

Hasło



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