Par dukazu - za pet minut dvanact

Odeslat odpověď

Smajlíci
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
BBCode je zapnutý
[img] je zapnutý
[flash] je vypnutý
[url] je zapnuté
Smajlíci jsou zapnutí
Přehled tématu
   

Rozšířit náhled Přehled tématu: Par dukazu - za pet minut dvanact

od Eubie » 16. 5. 2007 10:14

..což tedy jinými slovy znamená jí dokázat, když je platná všude. Nebo se pletu?

od Zdeněk Vilušínský » 15. 5. 2007 23:27

Tohle jsem měl dneska v písemce, ale ne jako důkaz, ale formuli a kde je platná. Víceméně očividně všude, ale s formálními zápisy jsem dost na štíru..

od hippies » 15. 5. 2007 14:27

mno nejprv bych uděl rozbor.. když neex.x .. tak implikace evidentně platí,
nechť tedy ex., tak pokračujem.. zafixujem ho, .. pak to plyne elementárně z výrokový logiky .. takže to platí

.. ale jak se to zapíše formálně.. tak to už bys po mě chtěl moc:/

Par dukazu - za pet minut dvanact

od Eubie » 15. 5. 2007 10:41

Ahoj,
dokaze nekdo dokazat:
|- Ex(x)[p(x) and q(x)] -> [Ex(x)P(x) and Ex(x)Q(x)]

Nahoru