Formální logika

V případě, že se jedná o výrok, rozhodni o jeho pravdivosti:

"Přirozené číslo n je sudé."

• Pravda

• Nepravda

• Nejedná se o výrok.

V případě, že se jedná o výrok, rozhodni o jeho pravdivosti:

"Všechna přirozená čísla jsou sudá."

• Pravda

• Nepravda

• Výrok, ale neumíme určit pravdivost.

• Nejedná se o výrok.

V případě, že se jedná o výrok, rozhodni o jeho pravdivosti:

"Existuje alespoň jedno sudé přirozené číslo"

• Pravda

• Nepravda

• Výrok, ale neumíme určit pravdivost.

• Nejedná se o výrok.

V případě, že se jedná o výrok, rozhodni o jeho pravdivosti:

"Trojúhelník je ostroúhlý"

• Pravda

• Nepravda

• Nejedná se o výrok.

V případě, že se jedná o výrok, rozhodni o jeho pravdivosti:

"Existuje alespoň jeden ostroúhlý trojúhelník."

• Pravda

• Nepravda

• Výrok, ale neumíme určit pravdivost.

• Nejedná se o výrok.

V případě, že se jedná o výrok, rozhodni o jeho pravdivosti:

"Pro všechny ostroúhlé trojúhelníky platí, že nemají ani jeden pravý vnitřní úhel."

• Pravda

• Nepravda

• Výrok, ale neumíme určit pravdivost.

• Nejedná se o výrok.

Rozhodni o pravdivosti výroku:

"Číslo 2 je záporné a sudé."

• Pravda

• Nepravda

• Výrok, ale neumíme určit pravdivost.

• Nejedná se o výrok.

Rozhodni o pravdivosti výroku:

"Číslo 2 je záporné nebo sudé."

• Pravda

• Nepravda

• Výrok, ale neumíme určit pravdivost.

• Nejedná se o výrok.

Rozhodni o pravdivosti výroku:

"Jestliže je číslo 2 záporné, pak je sudé."

• Pravda

• Nepravda

• Výrok, ale neumíme určit pravdivost.

• Nejedná se o výrok.

Rozhodni o pravdivosti výroku:

"Číslo 2 je záporné právě tehdy, když je sudé."

• Pravda

• Nepravda

• Výrok, ale neumíme určit pravdivost.

• Nejedná se o výrok.