Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
kouty's user avatar
  • 512
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 ...
xoux's user avatar
  • 291