Swiecie prezentacja5(1), matematyka, 0, świecie
[ Pobierz całość w formacie PDF ]
Logika Matematyczna
Spójniki logiczne
Tautologie
Dowodzenie
Kwantyfikatory
Zagadki
LogikaMatematyczna
Marcelina Borcz
5 marca 2009
Marcelina Borcz
Logika Matematyczna
Logika Matematyczna
Spójniki logiczne
Tautologie
Dowodzenie
Kwantyfikatory
Zagadki
Spistre±ci
Logika Matematyczna
1
Spójniki logiczne
¬
^
_
)
,
2
Tautologie
3
Dowodzenie
4
Kwantyfikatory
5
Zagadki
6
Marcelina Borcz
Logika Matematyczna
Logika Matematyczna
Spójniki logiczne
Tautologie
Dowodzenie
Kwantyfikatory
Zagadki
Logika (z gr. logos - rozum) zajmuje si¦ badaniem ogólnych praw,
według których przebiegaj¡ wszelkie poprawne rozumowania, w
szczególno±ci wnioskowania.
Marcelina Borcz
Logika Matematyczna
Logika Matematyczna
Spójniki logiczne
Tautologie
Dowodzenie
Kwantyfikatory
Zagadki
Logika (z gr. logos - rozum) zajmuje si¦ badaniem ogólnych praw,
według których przebiegaj¡ wszelkie poprawne rozumowania, w
szczególno±ci wnioskowania.
Logika matematyczna, to dział matematyki. Koncentruje si¦ on na
analizowaniu zasad rozumowania oraz poj¦¢ z nim zwi¡zanych z
wykorzystaniem sformalizowanych oraz u±ci±lonych metod i
narz¦dzi matematyki.
Marcelina Borcz
Logika Matematyczna
Logika Matematyczna
Spójniki logiczne
Tautologie
Dowodzenie
Kwantyfikatory
Zagadki
,
,
p
,
q
,
r
...
Zadnie w sensie logicznym, to wypowied¹ orzekaj¡ca, której mo»na
przypisa¢ jedn¡ z dwóch warto±ci:
- prawd¦ - oznaczan¡ symbolem 1;
- fałsz - oznaczany symbolem 0.
Marcelina Borcz
Logika Matematyczna
[ Pobierz całość w formacie PDF ]