Matematické Fórum

leniczcha

Prosím o pomoc a vysvětlení této úlohy:

Znegujte a zjednodušte následující formuli predikátového počtu (odpověď může být i slovní)

$\exists x\in A\forall y\in B(x+y\ge 2)$ $

Rumburak · 23. 12. 2013 16:35

Negací výroku

(1) "každá kočka je černá"

je výrok

(2) "existuje kočka, která není černá"

a naopak - negací výroku (2) je výrok (1).

Zkus tuto zásadu zformulovat obecně pomocí formálního jazyka a toto zobecnění použít na Tvoji úlohu.

Matematické Fórum

#1 23. 12. 2013 15:42 — Editoval leniczcha (23. 12. 2013 15:43)

Logika - negace

#2 23. 12. 2013 16:35

Re: Logika - negace

Zápatí