Matematické Fórum

John123 · 10. 04. 2020 16:54

Ahojte, vedel by mi prosím niekto vysvetliť postup, ako zistiť, či záver vyplýva logicky z premís? Konkrétne pre zadanie:

(A ^⌐D), B → (C →D)Ͱ (A→B )→ ⌐ C
( p ˄ q ) → r , p ├ q → r

Ďakujem pekne za každú pomoc.

check_drummer · 10. 04. 2020 18:26

Ahoj, a musí to být synattický důkaz (pomocí axiomů a odvozovacích pravidel) a nebo můžeš použít větu o úplnosti? Pokud můžeš, tak zkus při nejhorším tabulku. A nebo větu o dedukci. A nebo větu o důkazu sporem.

Matematické Fórum

#1 10. 04. 2020 16:54

Kondicionálny dôkaz

#2 10. 04. 2020 18:26

Re: Kondicionálny dôkaz

Zápatí