טבלת אמת – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
מ החלפת קוד LaTeX מיושן mw:Extension:Math/Roadmap
שורה 100:
 
על פי ההצרנה, זהו הטיעון בו אנו דנים:
# <math>P \andland (Q \to R)</math>
# <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 \andland (Q \to R)</math> ||<math>P \to \neg Q</math>||<math>\neg R</math>
|-align="center"
| 1 || T || T || T || T || F || F