Szerkesztő:Hári Zalán/Fordításokhoz/Szimbolikus logikai megfeleltetések

Vezessünk be néhány jelölést: / Define a few notations:

P(x), Q(x), R(x), ...: x-re igaz a P tulajdonság/the P property is true for/to? x

N(P): a P-hez tartozó főnév, pl. „emberi”-hez „ember”, ha van, amúgy P. / The noun equivalent of P, for example, N(human-specific) is N(human), if there is a noun equivalent, else P.

P(x): (A/z/) x P. | (The) x is P.

∀x(P(x) → Q(x)): Minden N(P) Q. | Every N(P) is Q.

p ↔ q: Pontosan akkor q, ha p. / P és Q ekvivalensek (egymással). | Q is true if and only if p is that. / P and Q are equivalents.

p → q: P-ből következik q. / Ha p, q. | If p, q.

p ∧ q: P és q. | P and q.

p ⊕ q: P vagy q (de nem mindkettő) | P or q (but not both).

p ∨ q: P vagy q. P, q vagy mindkettő | P or q. / P, q or both.