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 30. 05. 2012 17:03

vinky26
Příspěvky: 36
Reputace:   -1 
 

Výroková logika

Ahoj, potřeboval bych pomci s touhle větou. Ostatní typy zvládám ale tady jsem opravdu marný.
Mohl by mi někdo napsat zápis + pravdivostní tabulku?
Děkuju


Buď prvé, nebo druhé    Avšak prvé Tedy ne druhé

Offline

 

#2 30. 05. 2012 17:41

radekm
Příspěvky: 146
Reputace:   11 
Web
 

Re: Výroková logika

Přepsal bych to následovně, ale jistý si tím nejsem:

"Buď prvé, nebo druhé"
P xor D

"Avšak prvé Tedy ne druhé"
P & (P ⇒ ¬D)

Offline

 

#3 30. 05. 2012 17:51

chipák
Příspěvky: 49
Reputace:   
 

Re: Výroková logika

Myslím si, že slůvko "avšak" je tady ve významu "a zároveň"

tzn.
a) Buď prvé, nebo druhé  - (P and ¬D) or (¬P and D) 
b) Avšak prvé Tedy ne druhé - (P -> ¬D)

c) celkově - ((P and ¬D) or (¬P and D))  and (P -> ¬D)

Pravdivostní tabulka:
P   D   a)   b)   c)
0   0    0    1    0
0   1    1    1    1
1   0    1    1    1
1   1    0    0    0

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson