Matematické Fórum


❗1. 8. 2026 (L) Fórum bude brzy uzavřeno 😿

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: 5491
Š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