logic | Page 13 | Proofread Bot

literal

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:14

assumption

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:14

sentence

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:14

induction

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:14

Gödel number

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:09

soundness

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:09

elimination

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:05

conclusion

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:05

bound

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:05

Entscheidungsproblem

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:05

postulate

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:05

premise

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:05

FOL

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:05

first-order logic

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:05

contradiction

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:05

open

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:05

De Morgan's law

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:00

dilemma

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:00

disjunction

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:00

formula

Submitted by György Chityil ... on Fri, 01/19/2018 - 18:00