7/21/2019 Iskazna Logika - Izgradnja Tablice i Zadaca

1/8

Vjebe prevoenja na jezik

logike

Analiza istinitosti pomou tablica

7/21/2019 Iskazna Logika - Izgradnja Tablice i Zadaca

2/8

Iskazna logikatablini prikaz najeih istinosnih funkcija

veznici i ako onda ili ili iliako i samo

akoniti niti ne

ostali moguiveznici u hrv.

jeziku

a

nego

meutim

iako

premda

dok

kada

ako

samo ako

osim ako

ukoliko utoliko

bilo bilo

barem jedan

samo jedan

od

jedino ako ne ne

logikipoveznici

naziv konjunkcija implikacijadisjunkcija

ukljunadisjunkcija

iskljunaekvivalencija binegacija negacija

p q p

q pq p

q p

q p q p

q

p

i i i i i n i n

i n n n i i n nn i n i i i n n

n n n i n n i i

7/21/2019 Iskazna Logika - Izgradnja Tablice i Zadaca

3/8

Granja tablice ovisi o broju iskaza

p q p q

i i

i n

n i

n n

p q r

i i i

i i n

i n i

i n n

n i i

n i n

n n i

n n n

Broj redaka tablice ovisi o broju iskaza. Za

dva suda (p, q) tablica e imati 4 retka, za trisuda tablica ima 8 redaka, tj. 2nredaka

(n=broj iskaza).

7/21/2019 Iskazna Logika - Izgradnja Tablice i Zadaca

4/8

2. Koliko e redaka imati tablica za iskaz kojisadrava:

a) tri razliita iskaza? 8b) pet razliitih iskaza? 32c) devet razliitih iskaza? 512

d) sedam razliitih iskaza? 128e) jedanaest razliitih iskaza? 2048

Crtanje tablice s veim brojem iskaza (4 i vie)postaje sve sloenije. Zato se za analizuistinitosti sloenih iskaza koriste i drugemetode.

7/21/2019 Iskazna Logika - Izgradnja Tablice i Zadaca

5/8

Izgradnja istinitosne tablice

Nije sluaj da Pavao ne ostaje uPoreu. P

Anica nije otputovala u panjolsku,nego u Portugal. S P

Rezultat analize nalazi se u stupcu poveznika koji se posebno oznai npr. *,(ovdje oznaeno bojom)

P

P

i i

n n

P S

S

P

i i n n i

i n i i i

n i n n n

n n i n n

7/21/2019 Iskazna Logika - Izgradnja Tablice i Zadaca

6/8

Bilo Marin bilo Jure odlaze u ibenik,meutim, Ruica se sprema na put uItaliju.

(M J) R

Nije tako da i Matija i Andrija ive uVaradinu.

(M A)

Vinko je otputovao, iako nije ponio svojkoveg.

O P

A M

(M

i i n i i

i n i n n

n i i i n

n n i n n

O P O

P

i i i n n

i n i i i

n i n n n

n n n n i

J M R (M J) R

i i i i i i i i

i i n i i i n n

i n i n i i i i

i n n n i i n n

n i i i i n i i

n i n i i n n n

n n i n n n n i

n n n n n n n n

A)

i

i

n

n

7/21/2019 Iskazna Logika - Izgradnja Tablice i Zadaca

7/8

Ivan putuje u Osijek ili

Stjepan ne putuje u

Vinkovce, meutim,Stjepan putuje uVinkovce, a Andrija

ostaje u Zagrebu.

(I S) (S A)

A I S (I S) (S A)

i i i i i n i i i i

i i n i i i n n n i

i n i n n n n i i i

i n n n i i n n n i

n i i i i n n i n n

n i n i i i n n n n

n n i n n n n i n n

n n n n i i n n n n

7/21/2019 Iskazna Logika - Izgradnja Tablice i Zadaca

8/8

Zadaa

1. Dopunite prolu domau zadau

upisujui zadane istinitosne vrijednostizadatka 2.

2. Izgradite istinitosne tablice za sveprimjere.