טבלת אמת – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
Texvc2LaTeXBot (שיחה | תרומות) מ החלפת קוד LaTeX מיושן mw:Extension:Math/Roadmap |
||
שורה 100:
על פי ההצרנה, זהו הטיעון בו אנו דנים:
# <math>P \
# <math>P \to \neg Q</math>
מסקנה: <math>\neg R</math>
שורה 108:
{| border="1" cellpadding="3"
! | || <math> P </math> || <math> Q </math> || <math> R </math>||<math>P \
|-align="center"
| 1 || T || T || T || T || F || F
|