Truth function: Difference between revisions

Revision as of 15:36, 6 October 2020

Revision as of 15:37, 6 October 2020

Line 25:

<center>

The equivalent formulas are all all screwed up; some amateur edited this table; weaponized Wiki editing for disinformation?

{| style="border: none;"

|-

| {{logicalconnective

|main=Contradiction|also=/[[false (logic)|False]]

|notation=<math>\bot</math><br />"bottom"

Line 39 ⟶ 37:

|image=Venn0000.svg

}}

| {{logicalconnective

|main=Tautology (logic)|also=/[[true (logic)|True]]

|title=Tautology

Line 51 ⟶ 49:

}}

|-

| {{logicalconnective

|main=Proposition

|title=Proposition ''P''

Line 74 ⟶ 72:

}}

|-

| {{logicalconnective

|main=Proposition

|title=Proposition ''Q''

Line 97 ⟶ 95:

}}

|-

| {{logicalconnective

|main=Logical conjunction

|title=Conjunction

Line 120 ⟶ 118:

}}

|-

| {{logicalconnective

|main=Logical disjunction

|title=Disjunction

Line 143 ⟶ 141:

}}

|-

| {{logicalconnective

|main=Material nonimplication

|title=Material nonimplication

Line 166 ⟶ 164:

}}

|-

| {{logicalconnective

|main=Converse nonimplication

|title=Converse nonimplication

Line 189 ⟶ 187:

}}

|-

| {{logicalconnective

|main=Exclusive or

|title=Exclusive disjunction