12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Monday December 02, 2024
Jump to navigationJump to search→Analysis of contingent propositions: number proof display
<br>
<br>
{| align="center" cellpadding="10"
{| align="center" cellpadding="8"
| [[Image:Logical Graph (P (Q)) (P (R)).jpg|500px]] || (26)
| [[Image:Logical Graph (P (Q)) (P (R)).jpg|500px]] || (26)
|}
|}
<br>
<br>
{| align="center" cellpadding="10"
{| align="center" cellpadding="8"
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)).jpg|500px]] || (29)
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)).jpg|500px]] || (29)
|}
|}
<br>
<br>
{| align="center" cellpadding="10"
{| align="center" cellpadding="8"
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 1.jpg|500px]]
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 1.jpg|500px]]
| (30)
| (30)
<br>
<br>
{| align="center" cellpadding="10"
{| align="center" cellpadding="8"
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 2a Alt.jpg|500px]]
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 2a Alt.jpg|500px]]
| (31)
| (31)
<br>
<br>
{| align="center" cellpadding="8"
|
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
|-
|-
|-
| [[Image:Equational Inference Bar -- DNF.jpg|500px]]
| [[Image:Equational Inference Bar -- DNF.jpg|500px]]
|}
| (31)
|}
|}
