Riešič sylogizmov
Predpoklady :
Vsetky filozofky su sebavedome. Niektore logicky nie su sebavedome.
Zaver (nie je nutne zadat):
Niektore logicky nie su filozofky.
Prepoklady formalne (!Po prepise opravit! (Mozno zadat i rucne.)) :
Zaver formalne :
Kde:
Prepoklady a zaver v jednom formalnom vyroku (Mozno zacat i odtial) :
Ak sa jedna o ekvivalenciu, tak ju dokaz v smere:
A) - zlava doprava
B) - zprava dolava
....
....
....
....
....
....
....
....
....
....
....
....
....
....
....
....
Blog - Počítačová podpora filozofovania
Generátor filozofických prác
Filozofický
pokec
Databáza filozofov
Filozofické školy a smery
Pravdivostná tabuľka k výroku
Riešič sylogizmov
Dôkazy v logike
Testy pre filozofov
Spinozova Etika
Hegelov systém vied