Changes

MyWikiBiz, Author Your Legacy — Wednesday November 13, 2024
Jump to navigationJump to search
→‎Cactus calculus: table colors
Line 108: Line 108:  
* A concatenation of propositional expressions in the form <math>e_1~e_2~\ldots~e_{k-1}~e_k</math> indicates that all of the propositions <math>e_1, e_2, \ldots, e_{k-1}, e_k</math> are true, in other words, that their [[logical conjunction]] is true.
 
* A concatenation of propositional expressions in the form <math>e_1~e_2~\ldots~e_{k-1}~e_k</math> indicates that all of the propositions <math>e_1, e_2, \ldots, e_{k-1}, e_k</math> are true, in other words, that their [[logical conjunction]] is true.
   −
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:96%"
+
<br>
 +
 
 +
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
 
|+ '''Table 4.  Syntax and Semantics of a Propositional Calculus'''
 
|+ '''Table 4.  Syntax and Semantics of a Propositional Calculus'''
|- style="background:ghostwhite"
+
|- style="background:#e6e6ff"
 
! Expression
 
! Expression
 
! Interpretation
 
! Interpretation
Line 246: Line 248:  
\end{matrix}</math>
 
\end{matrix}</math>
 
|}
 
|}
 +
 
<br>
 
<br>
  
12,080

edits

Navigation menu