Matematické Fórum

vandusik

Jakým způsobem se řeší důkaz bezespornosti teorie, když máme jazyk s rovností? Jde o úlohu z predikátové logiky.

vojta_vorel · 05. 12. 2013 10:52

↑ vandusik:
Ahoj

Řekl bych, že stačí najít jakýkoli model. Sporné teorie model nemají.

Vojta

vandusik · 05. 12. 2013 10:56

A když model nenajdeme, je teorie automaticky sporná?
Resp. jak vůbec můžu rozhodnout o spornosti/bezespornosti teorie?

Rumburak

↑ vandusik:

Ahoj.

Když model nenajdeme, může to znamenat i to, že jsme nehledali dobře, takže to o teorii nic nevypovídá.
Když v teorii lze dokázat nějakou větu a rovněž i její negaci, pak je teorie sporná.

Matematické Fórum

#1 04. 12. 2013 19:54 — Editoval vandusik (04. 12. 2013 19:57)

Jak vyřešit bezespornost teorie?

#2 05. 12. 2013 10:52

Re: Jak vyřešit bezespornost teorie?

#3 05. 12. 2013 10:56

Re: Jak vyřešit bezespornost teorie?

#4 05. 12. 2013 11:03 — Editoval Rumburak (05. 12. 2013 11:26)

Re: Jak vyřešit bezespornost teorie?

Zápatí