TY - JOUR

T1 - THE COPYING METHOD

AU - Jarden, A

AU - Cherniavsky, Y

N1 - Times Cited in Web of Science Core Collection: 0 Total Times Cited: 0 Cited Reference Count: 4

PY - 2021

Y1 - 2021

N2 - Let phi((x) over bar) and psi((y) over bar) be quantifier-free formulas. It is a simple exercise to prove that the sentence for all(x) over bar phi double right arrow for all(y) over bar psi. is logically equivalent to the sentence there exists(x) over bar for all(y) over bar(phi(x) over bar) double right arrow psi(y) over bar)). Here, we generalize this simple fact, presenting various sentences that are logically equivalent to each sentence of the form (for all(x) over bar (1)phi(1)((x) over bar (1)) boolean AND ... for all(x) over bar (n)phi(n)((x) over bar (n))) double right arrow psi((y) over bar), where phi(1), ..., phi(n), psi are quantifier-free formulas. We prove the logical equivalence by the game method, which assigns each sentence psi and structure M (interpreting each symbol in psi) to a two-players game G(psi,M) (the players are there exists and for all) such that the sentence psi holds in M if and only if player there exists has a winning strategy in the game G(psi,M).

AB - Let phi((x) over bar) and psi((y) over bar) be quantifier-free formulas. It is a simple exercise to prove that the sentence for all(x) over bar phi double right arrow for all(y) over bar psi. is logically equivalent to the sentence there exists(x) over bar for all(y) over bar(phi(x) over bar) double right arrow psi(y) over bar)). Here, we generalize this simple fact, presenting various sentences that are logically equivalent to each sentence of the form (for all(x) over bar (1)phi(1)((x) over bar (1)) boolean AND ... for all(x) over bar (n)phi(n)((x) over bar (n))) double right arrow psi((y) over bar), where phi(1), ..., phi(n), psi are quantifier-free formulas. We prove the logical equivalence by the game method, which assigns each sentence psi and structure M (interpreting each symbol in psi) to a two-players game G(psi,M) (the players are there exists and for all) such that the sentence psi holds in M if and only if player there exists has a winning strategy in the game G(psi,M).

KW - truth value

KW - semantics

KW - first-order logic

U2 - 10.17654/DM028020369

DO - 10.17654/DM028020369

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

SN - 0974-1658

VL - 28

SP - 369

EP - 378

JO - Advances and Applications in Discrete Mathematics

JF - Advances and Applications in Discrete Mathematics

IS - 2

ER -