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 25. 08. 2015 16:12

PanTau
Příspěvky: 819
Škola: Plzeň :-)
Pozice: Student zoufalej z matiky
Reputace:   5 
 

Vztah kontradice, tautologie.

Ahoj, v testu jsem měl otázku:

V obrázku, představující množinu všech formulí výrokového počtu F, znázorni vztah mezi množinou kontradici K, množinou splnitelných formulí S a množinou tautologii T.

Vůbec nevím co po mě chtěl, poradí mi někdo?

Má kouzelná buřinka asi nefunguje.... Jinak bych tu nebyl...
Reputace slušností...

Předem všem děkuji za Vaše rady..

Offline

  • (téma jako vyřešené označil(a) PanTau)

#2 25. 08. 2015 21:00

jarrro
Příspěvky: 5490
Škola: UMB BB Matematická analýza
Reputace:   303 
Web
 

Re: Vztah kontradice, tautologie.

Chcu asi Vennov diagram pricom
$T\subsetneq S\subsetneq F\nl K\subsetneq F\nl K\cap S=\emptyset$

MATH IS THE BEST!!!

Offline

 

#3 25. 08. 2015 21:13

PanTau
Příspěvky: 819
Škola: Plzeň :-)
Pozice: Student zoufalej z matiky
Reputace:   5 
 

Re: Vztah kontradice, tautologie.

↑ jarrro:
Děkuji za odpověď, ale jak z toho dostanu ty diagramy?

Není to tohle? (názvy jsou v AJ).

http://i.imgur.com/3TNhEyJ.png

Má kouzelná buřinka asi nefunguje.... Jinak bych tu nebyl...
Reputace slušností...

Předem všem děkuji za Vaše rady..

Offline

 

#4 25. 08. 2015 23:38

Eratosthenes
Příspěvky: 3111
Reputace:   140 
 

Re: Vztah kontradice, tautologie.

ahoj ↑ PanTau:,

asi ano, ale podle mě je to dost nešikovné. Já bych spíš použil "klasický" množinový diagram:

//forum.matweb.cz/upload3/img/2015-08/38689_VYROKY.png

Budoucnost patří aluminiu.

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson