logika1

Matematyka - Logika 1

Logika matematyczna zajmuje się badaniem związków między zdaniami wypowiadanymi w matematyce.
 
Zdanie w logice
 
W logice zdaniem nazywamy każde zdanie oznajmujące, któremu można przypisać jedną z dwóch ocen: zdanie jest prawdziwe lub zdanie jest fałszywe. Zdania oznacza się małymi literami
 
UWAGA!
Zgodnie z powyższym określeniem w sensie logicznym nie są zdaniami zdania pytające i rozkazujące oraz te zdania oznajmujące, o których nie można orzec, czy są prawdziwe, czy fałszywe (tzw. zdanie wartościujące) - np. Konwalia jest najpiękniejszym kwiatem.
 
Wartości logiczne przypisywane zdaniom będziemy oznaczać symbolicznie liczbami 1 lub 0.
1 - oznacza, że zdanie jest prawdziwe
0- oznacza, że zdanie jest fałszywe.
 
Przykład.
 

Zdanie potoczne	Czy jest zdaniem w logice	Wartość  logiczna
Warszawa jest stolicą Polski.	Tak	1
24 jest podzielne przez 7.	Tak	0
Proszę wstać!	Nie	-
Czerwony to najładniejszy kolor.	Nie	-
sin 300 0,75.	Tak	0
n jest liczbą podzielną przez 7.	Nie	-
Czworokąt wypukły ma dwie przekątne.	Tak	1
Czy 24 jest wielokrotnością 8 ?	Nie	-