MyWikiBiz, Author Your Legacy — Wednesday November 13, 2024
Jump to navigationJump to search
24 bytes added
, 19:22, 26 May 2009
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> |
| | | |