12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 15, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 12:20, 19 August 2009
, 12:20, 19 August 2009→Analysis of contingent propositions: convert graphic
Line 1,133:
Line 1,133:
<pre>
−o-----------------------------------------------------------o
−| |
−| p o-------o pqr |
−| \ / |
−| \ / |
−| \ / |
−| o |
−| | |
−| | |
−| | |
−| @ |
−| |
−| ((p , p q r)) |
−o-----------------------------------------------------------o
−</pre>
−
This can be read to say <math>{}^{\backprime\backprime} \operatorname{either}~ p q r ~\operatorname{or}~ \operatorname{not}~ p {}^{\prime\prime},</math> which gives us yet another equivalent for the expression <math>\texttt{(} p \texttt{(} q \texttt{))(} p \texttt{(} r \texttt{))}</math> and the expression <math>\texttt{(} p \texttt{(} q r \texttt{))}.</math> Still another way of writing the same thing would be as follows:
This can be read to say <math>{}^{\backprime\backprime} \operatorname{either}~ p q r ~\operatorname{or}~ \operatorname{not}~ p {}^{\prime\prime},</math> which gives us yet another equivalent for the expression <math>\texttt{(} p \texttt{(} q \texttt{))(} p \texttt{(} r \texttt{))}</math> and the expression <math>\texttt{(} p \texttt{(} q r \texttt{))}.</math> Still another way of writing the same thing would be as follows:
−{| align="center" cellpadding="8" style="text-align:center; width:90%"
+{| align="center" cellpadding="8"
−|
+| [[Image:Logical Graph ((P , P Q R)).jpg|500px]] || (35)
−| |
−| (35)
|}
|}
