VROKOV LOGIKA

OBSAH
1. Defincia vroku 2. Negcia vroku 3. Vrokov forma 4. Opercie s vrokmi 5. Prklady na precvienie 6. Sprvne rieenia prkladov

DEFINCIA VROKU
VROK je zrozumiten oznamovacia veta ktor je bu pravdiv alebo nepravdiv

Ak je vrok pravdiv hovorme e PLAT Belehrad je hlavn mesto v RS . Ak je vrok nepravdiv hovorme e NEPLAT Kovaica je hlavn mesto Neplu.

NEGCIA VROKU
Vrok, ktor popiera platnos pvodnho vroku V : Dnes je pekne. V': Nie je pravda, e dnes je pekne.

OPERCIE S VROKMI

KONJUNKCIA ALTERNATVA IMPLIKCIA EKVIVALENCIA

KONJUNKCIA
Konjunkcia vrokov je vrok, ktor vznikne ich spojenm logickou spojkou a vrok A : Mrzne. vrok B : Sne. Mrzne a sne. AB

Tabuka pravdivostnch hodnt

A 1 1 0 0 B 1 0 1 0 AB 1 0 0 0

Konjunkcia je pravdiv, ak s obidva vroky pravdiv Konjunkcia je nepravdiv, ak aspo 1 z vrokov je nepravdiv

ALTERNATVA
Alteratva vrokov je vrok, ktor vznikne ich spojenm logickou spojkou alebo vrok A : Mrzne. vrok B : Sne.
Mrzne alebo sne. AB

Tabuka pravdivostnch hodnt

A 1 1 0 0 B 1 0 1 0 AB 1 1 1 0

Alternatva je pravdiv, ak aspo 1 z vrokov je pravdiv Alternatva je nepravdiv, ak s obidva vroky nepravdiv

NEGCIA KONJUNKCIE A ALTERNATVY

Grafick znzornenie negcie konjunkcie
( A B )' = ( A' B' ) negcia konjunkcie je alternatva negci vrokov

Grafick znzornenie negcie alternatvy

( A B )' = ( A' B' ) negcia alternatvy je konjunkcia negci vrokov

IMPLIKCIA
Defincia Tabuka pravdivostnch hodnt Obrten implikcia Obmenen implikcia Negcia implikcie

IMPLIKCIA
Implikcia vrokov je vrok, ktor vznikne pomocou logickej spojky ak...,tak... (ak..., potom...) vrok A : Bude pekne. vrok B : Pjdeme na vlet. Ak bude pekne, tak (potom) pjdeme na vlet. AB

Tabuka pravdivostnch hodnt

A 1 1 0 0 B 1 0 1 0 AB 1 0 1 1

Alternatva je pravdiv, ak z pravdy vyplva pravda, alebo z nepravdy okovek Alternatva je nepravdiv, ak z pravdy vyplva nepravda

OBRTEN IMPLIKCIA
A 1 1 0 0 B 1 0 1 0 A B 1 0 1 1 B A 1 1 0 1

Obrten implikcie nemusia ma rovnak pravdivostn hodnoty, preto ich nememe zamiea.

OBMENEN IMPLIKCIA
A 0 0 1 1 B 1 0 1 0 A B 1 1 1 0 A' 1 1 0 0 B' 0 1 0 1 B' A' 1 1 1 0

Obmenen implikcie maj rovnak pravdivostn hodnoty, preto ich mono zamiea.

NEGCIA IMPLIKCIE
( A B ) = A B V : Ak dostanem jednotku, pjdem von. V : Dostanem jednotku a nepjdem von.

EKVIVALENCIA
Defincia Tabuka pravdivostnch hodnt
Negcia ekvivalencie

EKVIVALENCIA
Ekvivalencia je vrok, ktor vznikne spojenm 2 vrokov logickou spojkou *prve vtedy ke *
vrok A : Prde Zuzka. vrok B : Prde Lenka. Ak prde Zuzka, tak prde aj Lenka a ak prde Lenka, tak prde aj Zuzka. AB

Tabuka pravdivostnch hodnt

A 1 1 0 0 B 1 0 1 0 A B 1 0 0 1

Ekvivalencia je pravdiv, ak vroky maj rovnak pravdivostn hodnoty Ekvivalencia je nepravdiv, ak vroky maj rzne pravdivostn hodnoty

NEGCIA EKVIVALENCIE
( A B ) = ( A B' ) ( B A' )

V : Jablk kpim prve vtedy ke kpim hruky. V : Kpim jablk a nekpim hruky, alebo kpim hruky a nekpim jablk .

 1. Vytvorte obmenen a obrten implikciu :

V : Ke fka vchodn vietor, nepr. V : Prde Peter a Pao. V : Pijem ds alebo malinovku. V : Ak sa budem ui dostanem bicykel. V : Ak dostanem pku tak nepjdem von.

PRKLADY NA PRECVIENIE

2. Vytvorte negciu vrokov:

3. Vytvorte negciu vrokov:

SPRVNE RIEENIA PRKLADOV

1.Obr : Ke nepr, tak fka vchodn
vietor. Obm : Ke pr, tak nefka vchodn vietor.

2.Neprde Peter alebo neprde Pao. Nepijem ds a malinovku. 3.Budem sa ui a nedostanem bicykel. Dostanem pku a pjdem von.