28993

Zdanie syntetyczne prawdziwość przesądzana na podstawie rzeczywistości, np. Konie są różowe.

Słowo „niektórzy" w sensie logicznym - przynajmniej niektórzy, nie wiadomo co z resztą, bo się o niej nie wspomina (a nie tak jak potocznie - tylko niektórzy, a więc założenie, że pozostali są w sytuacji przeciwnej)

Zdanie logiczne -> spójniki logiczne + zmienne zdaniowe

Spójniki logiczne, inaczej funktory (prawdziwościowe, ekstensjonalne, zdaniowotwórcze od argumentu zdaniowego) [tutaj się zagubiłam w tym co gadał, więc nic wiem o co chodzi, a w necie na szybko nic nie znalazłam]

2^U>° - wzór na liczbę spójników n-argumentowych [to n to też jest jako kolejna potęga]

Negacja, ascrcja (! Jest tak że), totalna asercja (□ / v -verum [prawda]), totalna negacja (A/f - falsum[fałsz])

Zdania wzajem sprzeczne - p i ~p

Zdania wzajem przeciwne -> nie mogą być oba prawdziwe, natomiast mogą być oba fałszywe Zdania wzajem podprzcciwnc -> mogą być oba prawdziwe, natomiast nic mogą być oba fałszywe

v - alternatywa (nierozłączna)

zdania równoważne - taka sama wartość logiczna zdania równoznaczne - takie samo znaczenie