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

Stránky: 1

 

#1 10. 04. 2020 16:54

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

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: 4623
Reputace:   99 
 

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.

"Máte úhel beta." "No to nemám."

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson