Matematické Fórum

Lukee · 09. 03. 2008 16:21

ibiza.rocks napsal(a):
1. Přepíšte nasledujíce úsoudky do jazyka výrokove logiky a pomocí pravidel výrokove logiky zjistite, či jsou logicky platné:

Jakub je darebák aneb blázen.    Prasata jsou savce aneb lítají.
Jakub je jiste darebák.    Ptáci aneb prasata lítají.
Jakub není blázen.    Prasata lítají.

Ak je tu niekto kto si vie s tym rady,prosim ta napis mi ako to ma byt sprawne,, dakujem .
Moc by si mi pomohol :)

Lukee · 09. 03. 2008 16:26

Výrok A … Jakub je darebák.
Výrok B … Jakub je blázen.

Jakub je darebák aneb blázen. — $A \vee B$
Jakub je jiste darebák. — $A$
Jakub není blázen. — $\neg B$

----------------------------------------------------------

Výrok A … Prasata jsou savci.
Výrok B … Prasata létají.
Výrok C … Ptáci létají.

Prasata jsou savce nebo létají. — $A \vee B$
Ptáci nebo prasata létají. — $B \vee C$
Prasata létají. — $B$

----------------------------------------------------------

Teď určení pravdivostních hodnot. U Jakuba těžko říct, takže to určím jen u těch prasat:

— Prasata jsou savce nebo létají. PRAVDA
— Ptáci nebo prasata létají. PRAVDA
— Prasata létají. NEPRAVDA

Matematické Fórum

#1 09. 03. 2008 16:21

Přepis vět do logických výrazů

ibiza.rocks napsal(a):

#2 09. 03. 2008 16:26

Re: Přepis vět do logických výrazů