user avatar
user avatar
user avatar
K.Wong
  • Member for 5 years, 7 months
  • Last seen more than 5 years ago
3 votes
1 answer
217 views

Quick predicate logic and quantifier homework check

2 votes
1 answer
198 views

Predicate logic help

2 votes
2 answers
123 views

Existential quantifier proof help

1 vote
1 answer
130 views

Predicate Logic proof help

1 vote
0 answers
67 views

What is a faster method other than truth tables for validating a sentence?

1 vote
1 answer
1k views

⊢ ((AvB) -> C) -> (A -> C) using simple derivation rules

1 vote
1 answer
104 views

Given that Γ ∪ {¬P} is unsatisfiable, show that Γ ⊨ Q → P?

0 votes
1 answer
95 views

Given that Γ is a maximal set, show that P → ¬P ∈ Γ only if P → Q ∈ Γ

0 votes
2 answers
1k views

Symbolizing an argument and deciding on a conclusion

0 votes
1 answer
180 views

Quick predicate logic and quantifier homework check (2)

0 votes
1 answer
119 views

Quick predicate logic and quantifier homework check (3)