12,080
edits
Changes
→Propositional Equation Reasoning Systems: + examples
==Propositional Equation Reasoning Systems==
==Propositional Equation Reasoning Systems==
===Analysis of contingent propositions===
<br>
{| align="center" cellpadding="10"
| [[Image:Logical Graph (P (Q)) (P (R)).jpg|500px]] || (26)
|}
<br>
{| align="center" cellpadding="8" style="text-align:center"
| [[Image:Venn Diagram (P (Q)) (P (R)).jpg|500px]] || (27)
|-
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q \texttt{))~(} p \texttt{~(} r \texttt{))}</math>
|}
<br>
{| align="center" cellpadding="8" style="text-align:center"
| [[Image:Venn Diagram (P (Q R)).jpg|500px]] || (28)
|-
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q ~ r \texttt{))}</math>
|}
<br>
{| align="center" cellpadding="10"
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)).jpg|500px]] || (29)
|}
<br>
{| align="center" cellpadding="10"
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 1.jpg|500px]]
| (30)
|}
<br>
{| align="center" cellpadding="10"
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 2a Alt.jpg|500px]]
| (31)
|}
<br>