Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 10. 04. 2020 16:54

John123
Zelenáč
Příspěvky: 9
Reputace:   
 

Kondicionálny dôkaz

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.

Offline

 

#2 10. 04. 2020 18:26

check_drummer
Příspěvky: 3276
Reputace:   90 
 

Re: Kondicionálny dôkaz

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.


Popelka - pohádka o neprosté funkci nabývající minima v jediném bodě

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson