Logika matematyczna - zestaw 1

Zagadnienia ze Wstępu Do Logiki Matematycznej z zakresu zdań logicznych, znajomości kwantyfikatorów oraz spójników zdaniowych, jak również wyznaczanie wartości zdania logicznego (prawda i fałsz).

1. Zadania z logiki matematycznej - zestaw 1

1. Sprawdai, coy nastepulaee wyradenia y autant
Love
2 0=0=Ipan=d
3.0=0)=b=(0vr)
soi

Va) A (= le»)

6. pv [(~pval At~ pv ~a)
7. ba (PAG)
PETITES

9. (be dv ri] = ove)

10. (ova) = (pv el + (pv
1 (BAD + r AV er) = (pag Ar)

12 994) lone) el

13: HA) + ri Aa > men)

MOI DV ~al] > TETE)

DATES TE IT ES INCESIT ES

II. Sprandaé cay prandine sy nastepujgee adania:
1. Jedel len maturalna a jest cab pierwszg, too ile a jest lcaba ozona, toa réa
siga

2. Jéieli lerbe naturalnn a dei sig preez 3, to z faktu, de a nie daili sig przez 3
yla, de e diel si prom 5.

2. cie faktu, de worystkie boki Lröjkata ABC sa równe, wynika, de wsaysti'e hy
tröjkata ABC sq rowne, tréjkat ABC ma merde bat, o ma on révniez im
hoki

evel figura A jest eaworokatern i A ma wsaysthie Katy réwne, to fan, à À wot
canorokatem, wynika, 12 A ma boki rönne

el ab o del sig proee 3 ei sie prze 5, o x faktu, ia me dic, 7
3, wynika, 12 a nie dail sig prez 5.

Jedeliliceba u dei sig prove 2 1 a del sig przez 7, to 2 fake, it a m
preee 7, wenika, 1 a dieli se prez 3.

del io

Jezel nie jest prawda, de albo prosta Z je: rórmolegda do proste) AF albo prosta 1
hie est rönnolegla do prostej M, to albo prota I nie jest równolegla do prestej Mí,
albo prosta P jest rénmolegla do prose) M.

Joñeli Jan nie ma Logiki, to, jeli Jan ana Logike, to Jan urodail sie w IV wi
pme.

Jan ana Logike weedy à tylko weedy, gy nie jest pramda, de ni jst prawdé, de Yo
ana Logik,

deze z fae, i funkejn Y jest rófnicakowalna w punkeie zu wynika, de jest 2
ciggta w punkeie xy, to zfaktu, 12 funkeja jet ciggla w punkeie ro, wynika, 1 jest.
na röänicakowalna w punkeie Zo