All Questions
Tagged with principle-of-non-contradiction propositional-logic
2 questions
2
votes
1
answer
133
views
Object language, Self Contradictory and Syntax
Following a previous question I asked about Falsum as primitive Symbol of the Object Language of the Propositional Calculus and its Semantic Interpretation, a similar question arises regarding its ...
1
vote
2
answers
205
views
How to understand a proof by contradiction in minute detail?
I am following the course "Language, Proof, and Logic" from Stanford on EdX. I am trying to understand proof by contradiction specifically. I understand the gist of this type of proof, and I ...