Exemple lògic de fórmula consistent
De Wikisofia
Accions
[math]\displaystyle{ [(p \wedge q) \vee (¬p\wedge q)] }[/math]
és una fórmula consistent
Recurs