[[
x_a_pomoci_a
]]
Vyrokova a predikatova logika - cviceni
Trace:
»
x_a_pomoci_a
(∃x)A zapísané pomocou ∀ a ¬
¬[(∀x)¬A)]
x_a_pomoci_a.txt · Last modified: 2006/04/30 18:01 by 195.113.65.10