Propositielogica: Geldig gevolg en consistentie
Werken met logisch equivalente formules
Laat \(p\), \(q\) en \(r\) propositievariabelen zijn. Vereenvoudig de logische formule \[\neg\Bigl(\neg\bigl((p\lor q)\land r\bigr)\lor \neg\,q\Bigr)\] zo ver mogelijk m.b.v. bekende tautologieën.
Je kunt de vereenvoudiging in deze opdracht stap voor stap doen omdat telkens logische equivalentie getest wordt.
\(\neg\Bigl(\neg\bigl((p\lor q)\land r\bigr)\lor \neg\,q\Bigr)\iff{}\) |
Ontgrendel volledige toegang