[Citat] Fie p o propozitie matematica.(un enunt care e fie adevarat , fie fals)
Enuntul :
"p este falsa"
este considerat tot o propozitie, in logica matematica?
Sau tine de meta-logica?
Va sa zica, o propozitie se poate "referi" la valoarea de adevar a altei propozitii?
De acest lucru m-am lovit incercand sa "formalizez" mai pretentios metoda reducerii la absurd. |
Enuntul "p este falsa" ar trebui sa insemne exact acelasi lucru cu "non p", adica negatia lui p.