1
$\begingroup$

I started a book on logic in computer science I went over the rules of propositional logic but I can't seem to be able to prove this sequent.

Can anyone help me or give me some starting points? (no truth tables please)

$\endgroup$
1
$\begingroup$

The sequent is false. If you take $p$ False and $r$ True then both antecedents are true but the succedent is False.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.