ከ«ጥገኛ አምክንዮ» ለውጦች መካከል ያለው ልዩነት
Content deleted Content added
No edit summary |
No edit summary |
||
መስመር፡ 6፦
ከላይ የተጻፉትን አረፍተ ነገሮች አነጻጽረው እኩለነታቸውን ያረጋግጡ
{| class="wikitable"
| የጥገኛ አምክንዮ ጸባዮች || ትርጓሜ ከ[[እውነታ ሰንጠረዥ]] አንጻር
|-
Line 16 ⟶ 14:
| *ጥገኝነት [[የራሱ ነጸብራቅ]] ነው: <math>a \rightarrow a</math> || ! style="width:35px;background:#dddddd;" | እውነት || ! style="width:35px;background:#dddddd;" | እውነት || ! style="width:35px;background:#dddddd;" | እውነት
|-
| *ጥገኝነት [[ተሻጋሪ]] ነው: <math>(a \rightarrow b) \rightarrow ((b \rightarrow c) \rightarrow (a \rightarrow c))</math> || ! style="width:35px;background:#dddddd;" | እውነት || ! style="width:35px;background:#dddddd;" | ውሸት || ! style="width:35px;background:#dddddd;" | ውሸት▼
▲*ጥገኝነት [[ተሻጋሪ]] ነው: <math>(a \rightarrow b) \rightarrow ((b \rightarrow c) \rightarrow (a \rightarrow c))</math> || ! style="width:35px;background:#dddddd;" | እውነት || ! style="width:35px;background:#dddddd;" | ውሸት || ! style="width:35px;background:#dddddd;" | ውሸት
|-
| *ጥገኝነት [[ታዳይ]] ነው: <math>(s \rightarrow (p \rightarrow q)) \rightarrow ((s \rightarrow p) \rightarrow (s \rightarrow q))</math> || ! style="width:35px;background:#dddddd;" | ውሸት || ! style="width:35px;background:#dddddd;" | እውነት || ! style="width:35px;background:#dddddd;" | እውነት ▼
▲*ጥገኝነት [[ታዳይ]] ነው: <math>(s \rightarrow (p \rightarrow q)) \rightarrow ((s \rightarrow p) \rightarrow (s \rightarrow q))</math> || ! style="width:35px;background:#dddddd;" | ውሸት || ! style="width:35px;background:#dddddd;" | እውነት || ! style="width:35px;background:#dddddd;" | እውነት
|-
| || ! style="width:35px;background:#dddddd;" | ውሸት || ! style="width:35px;background:#dddddd;" | ውሸት || ! style="width:35px;background:#dddddd;" | እውነት
|}
== ሙሉ ማብራሪያ ==
|