X Y not X not Y

predicate variable predicate variable negation negation ~X ~Y

X Y

X and Y X, but Y X, however Y X, nevertheless X, still Y X, although Y X, also Y X, while Y X, despite Y X, moreover Y

conjunction X & conjunction X & conjunction X & Y conjunction conjunction X & conjunction X & conjunction X & conjunction X & conjunction X & conjunction X &

Y Y Y X & Y Y Y Y Y Y Y

X or Y disjunction X v Y either X or Y exclusion (X v Y) & ~(X & Y) If X then Y implication X --> Y If X, Y implication X --> Y Supposing X, Y implication X --> Y X only if Y implication Y --> X X if Y implication Y --> X X provided Y implication Y --> X X in the event Y implication Y --> X X unless Y implication ~Y --> X not X unless Y implication ~Y --> ~X X if and only if Y John John John John Cats Cats Cats Cats John John John John John John John John John John John equivalence X <--> Y

played. P: {x leave}, Px played the game. P: {x leave y}, Pxy didn't play. P: {x leave}, ~Px didn't play the game. P: {x left y}, ~Pxy won. W: {x win}, Wx won the game. W: {x win y}, Wxy lost. W: {x win}, ~Wx lost the game. W: {x win y}, ~Wxy played played played played played played played played didn't didn't didn't and the Cats and the Cats and the Cats and the Cats the game and the game and the game and the game and play and the play and the play and the won. Px & Wy won the game. Px & Wyz lost. Px & ~Wy lost the game. Px & ~Wyz the Cats won. Pxz & Wy the Cats won the game. Pxz & Wyz the Cats lost. Pxz & ~Wy the Cats lost the game. Pxz & ~Wyz Cats won. ~Px & Wy Cats won the game. ~Px & Wyz Cats lost. ~Px & ~Wy

John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John Wyz John John John John John John John John John John John John John John John John

didn't didn't didn't didn't didn't

play play play play play

and the the the the

the Cats game and game and game and game and

lost the the Cats the Cats the Cats the Cats

game. ~Px & ~Wyz won. ~Pxz & Wy won the game. ~Pxz & Wyz lost. ~Pxz & ~Wy lost the game. ~Pxz & ~Wyz

played, but the Cats won. Px & Wy played, but the Cats won the game. Px & Wyz played, but the Cats lost. Px & ~Wy played, but the Cats lost the game. Px & ~Wyz played the game, but the Cats won. Pxz & Wy played the game, but the Cats won the game. Pxz & Wyz played the game, but the Cats lost. Pxz & ~Wy played the game, but the Cats lost the game. Pxz & ~Wyz didn't play, but the Cats won. ~Px & Wy didn't play, but the Cats won the game. ~Px & Wyz didn't play, but the Cats lost. ~Px & ~Wy didn't play, but the Cats lost the game. ~Px & ~Wyz didn't play the game, but the Cats won. ~Pxz & Wy didn't play the game, but the Cats won the game. ~Pxz & Wyz didn't play the game, but the Cats lost. ~Pxz & ~Wy didn't play the game, but the Cats lost the game. ~Pxz & ~Wyz played; nevertheless, the Cats won. Px & Wy played; nevertheless, the Cats won the game. Px & Wyz played; nevertheless, the Cats lost. Px & ~Wy played; nevertheless, the Cats lost the game. Px & ~Wyz played the game; nevertheless, the Cats won. Pxz & Wy played the game; nevertheless, the Cats won the game. Pxz & Wyz played the game; nevertheless, the Cats lost. Pxz & ~Wy played the game; nevertheless, the Cats lost the game. Pxz & ~Wyz didn't play; nevertheless, the Cats won. ~Px & Wy didn't play; nevertheless, the Cats won the game. ~Px & Wyz didn't play; nevertheless, the Cats lost. ~Px & ~Wy didn't play; nevertheless, the Cats lost the game. ~Px & ~Wyz didn't play the game; nevertheless, the Cats won. ~Pxz & Wy didn't play the game; nevertheless, the Cats won the game. ~Pxz & Wyz didn't play the game; nevertheless, the Cats lost. ~Pxz & ~Wy didn't play the game; nevertheless, the Cats lost the game. ~Pxz & ~ played; however, the Cats won. Px & Wy played; however, the Cats won the game. Px & Wyz played; however, the Cats lost. Px & ~Wy played; however, the Cats lost the game. Px & ~Wyz played the game; however, the Cats won. Pxz & Wy played the game; however, the Cats won the game. Pxz & Wyz played the game; however, the Cats lost. Pxz & ~Wy played the game; however, the Cats lost the game. Pxz & ~Wyz didn't play; however, the Cats won. ~Px & Wy didn't play; however, the Cats won the game. ~Px & Wyz didn't play; however, the Cats lost. ~Px & ~Wy didn't play; however, the Cats lost the game. ~Px & ~Wyz didn't play the game; however, the Cats won. ~Pxz & Wy didn't play the game; however, the Cats won the game. ~Pxz & Wyz didn't play the game; however, the Cats lost. ~Pxz & ~Wy didn't play the game; however, the Cats lost the game. ~Pxz & ~Wyz

John played; still, the Cats won. Px & Wy John played; still, the Cats won the game. Px & Wyz

John John John John John John John John John John John John John John

played; still, the Cats lost. Px & ~Wy played; still, the Cats lost the game. Px & ~Wyz played the game; still, the Cats won. Pxz & Wy played the game; still, the Cats won the game. Pxz & Wyz played the game; still, the Cats lost. Pxz & ~Wy played the game; still, the Cats lost the game. Pxz & ~Wyz didn't play; still, the Cats won. ~Px & Wy didn't play; still, the Cats won the game. ~Px & Wyz didn't play; still, the Cats lost. ~Px & ~Wy didn't play; still, the Cats lost the game. ~Px & ~Wyz didn't play the game; still, the Cats won. ~Pxz & Wy didn't play the game; still, the Cats won the game. ~Pxz & Wyz didn't play the game; still, the Cats lost. ~Pxz & ~Wy didn't play the game; still, the Cats lost the game. ~Pxz & ~Wyz John John John John John John John John John John John John John John John John played, the Cats won. Px & Wy played, the Cats won the game. Px & Wyz played, the Cats lost. Px & ~Wy played, the Cats lost the game. Px & ~Wyz played the game, the Cats won. Pxz & Wy played the game, the Cats won the game. Pxz & Wyz played the game, the Cats lost. Pxz & ~Wy played the game, the Cats lost the game. Pxz & ~Wyz didn't play, the Cats won. ~Px & Wy didn't play, the Cats won the game. ~Px & Wyz didn't play, the Cats lost. ~Px & ~Wy didn't play, the Cats lost the game. ~Px & ~Wyz didn't play the game, the Cats won. ~Pxz & Wy didn't play the game, the Cats won the game. ~Pxz & Wyz didn't play the game, the Cats lost. ~Pxz & ~Wy didn't play the game, the Cats lost the game. ~Pxz & ~Wyz

Although Although Although Although Although Although Although Although Although Although Although Although Although Although Although Although While While While While While While While While While While While While While While While While John John John John John John John John John John

John John John John John John John John John John John John John John John John played played played played played played played played didn't didn't

played, the Cats won. Px & Wy played, the Cats won the game. Px & Wyz played, the Cats lost. Px & ~Wy played, the Cats lost the game. Px & ~Wyz played the game, the Cats won. Pxz & Wy played the game, the Cats won the game. Pxz & Wyz played the game, the Cats lost. Pxz & ~Wy played the game, the Cats lost the game. Pxz & ~Wyz didn't play, the Cats won. ~Px & Wy didn't play, the Cats won the game. ~Px & Wyz didn't play, the Cats lost. ~Px & ~Wy didn't play, the Cats lost the game. ~Px & ~Wyz didn't play the game, the Cats won. ~Pxz & Wy didn't play the game, the Cats won the game. ~Pxz & Wyz didn't play the game, the Cats lost. ~Pxz & ~Wy didn't play the game, the Cats lost the game. ~Pxz & ~Wyz or the Cats or the Cats or the Cats or the Cats the game or the game or the game or the game or play or the play or the won. Px v Wy won the game. Px v Wyz lost. Px v ~Wy lost the game. Px v ~Wyz the Cats won. Pxz v Wy the Cats won the game. Pxz v Wyz the Cats lost. Pxz v ~Wy the Cats lost the game. Pxz v ~Wyz Cats won. ~Px v Wy Cats won the game. ~Px v Wyz

John John John John John John

didn't didn't didn't didn't didn't didn't John John John John John John John John John John John John John John John John

play play play play play play

or the Cats or the Cats the game or the game or the game or the game or

lost. lost the the Cats the Cats the Cats the Cats

~Px v ~Wy game. ~Px v ~Wyz won. ~Pxz v Wy won the game. ~Pxz v Wyz lost. ~Pxz v ~Wy lost the game. ~Pxz v ~Wyz

Either Either Either Either Either Either Either Either Either Either Either Either Either Either Either Either If If If If If If If If If If If If If If If If If If If If If If If If If If If If If If If If John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John

played played played played played played played played didn't didn't didn't didn't didn't didn't didn't didn't

or the Cats won. (Px v Wy) & ~(Px & Wy) or the Cats won the game. (Px v Wyz) & ~(Px & Wyz) or the Cats lost. (Px v ~Wy) or the Cats lost the game. (Px v ~Wyz) the game or the Cats won. (Pxz v Wy) the game or the Cats won the game. (Pxz v Wyz) the game or the Cats lost. (Pxz v ~Wy) the game or the Cats lost the game. (Pxz v ~Wyz) play or the Cats won. (~Px v Wy) play or the Cats won the game. (~Px v Wyz) play or the Cats lost. (~Px v ~Wy) play or the Cats lost the game. (~Px v ~Wyz) play the game or the Cats won. (~Pxz v Wy) play the game or the Cats won the game. (~Pxz v Wyz) play the game or the Cats lost. (~Pxz v ~Wy) play the game or the Cats lost the game. (~Pxz v ~Wyz) won. Px --> Wy won the game. Px --> Wyz lost. Px --> ~Wy lost the game. Px --> ~Wyz the Cats won. Pxz --> Wy the Cats won the game. Pxz --> Wyz the Cats lost. Pxz --> ~Wy the Cats lost the game. Pxz --> ~Wyz Cats won. ~Px --> Wy Cats won the game. ~Px --> Wyz Cats lost. ~Px --> ~Wy Cats lost the game. ~Px --> ~Wyz then the Cats won. ~Pxz --> Wy then the Cats won the game. ~Pxz --> Wyz then the Cats lost. ~Pxz --> ~Wy then the Cats lost the game. ~Pxz --> ~Wyz

played, then the Cats played, then the Cats played, then the Cats played, then the Cats played the game, then played the game, then played the game, then played the game, then didn't play, then the didn't play, then the didn't play, then the didn't play, then the didn't play the game, didn't play the game, didn't play the game, didn't play the game,

played, the Cats won. Px --> Wy played, the Cats won the game. Px --> Wyz played, the Cats lost. Px --> ~Wy played, the Cats lost the game. Px --> ~Wyz played the game, the Cats won. Pxz --> Wy played the game, the Cats won the game. Pxz --> Wyz played the game, the Cats lost. Pxz --> ~Wy played the game, the Cats lost the game. Pxz --> ~Wyz didn't play, the Cats won. ~Px --> Wy didn't play, the Cats won the game. ~Px --> Wyz didn't play, the Cats lost. ~Px --> ~Wy didn't play, the Cats lost the game. ~Px --> ~Wyz didn't play the game, the Cats won. ~Pxz --> Wy didn't play the game, the Cats won the game. ~Pxz --> Wyz didn't play the game, the Cats lost. ~Pxz --> ~Wy didn't play the game, the Cats lost the game. ~Pxz --> ~Wyz Px --> Wy

Supposing John played, the Cats won.

Supposing Supposing Supposing Supposing Supposing Supposing Supposing Supposing Supposing Supposing Supposing Supposing Supposing Supposing Supposing John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John

John John John John John John John John John John John John John John John

played, the Cats won the game. Px --> Wyz played, the Cats lost. Px --> ~Wy played, the Cats lost the game. Px --> ~Wyz played the game, the Cats won. Pxz --> Wy played the game, the Cats won the game. Pxz --> Wyz played the game, the Cats lost. Pxz --> ~Wy played the game, the Cats lost the game. Pxz --> ~Wyz didn't play, the Cats won. ~Px --> Wy didn't play, the Cats won the game. ~Px --> Wyz didn't play, the Cats lost. ~Px --> ~Wy didn't play, the Cats lost the game. ~Px --> ~Wyz didn't play the game, the Cats won. ~Pxz --> Wy didn't play the game, the Cats won the game. ~Pxz --> Wyz didn't play the game, the Cats lost. ~Pxz --> ~Wy didn't play the game, the Cats lost the game. ~Pxz --> ~Wyz

played played played played played played played played didn't didn't didn't didn't didn't didn't didn't didn't played played played played played played played played didn't didn't didn't didn't didn't didn't didn't didn't played played played played played played played played didn't didn't

only if the Cats won. Wy --> Px only if the Cats won the game. Wyz --> Px only if the Cats lost. ~Wy --> Px only if the Cats lost the game. ~Wyz --> Px the game only if the Cats won. Wy --> Pxz the game only if the Cats won the game. Wyz --> Pxz the game only if the Cats lost. ~Wy --> Pxz the game only if the Cats lost the game. ~Wyz --> Pxz play only if the Cats won. Wy --> ~Px play only if the Cats won the game. Wyz --> ~Px play only if the Cats lost. ~Wy --> ~Px play only if the Cats lost the game. ~Wyz --> ~Px play the game only if the Cats won. Wy --> ~Pxz play the game only if the Cats won the game. Wyz --> ~Pxz play the game only if the Cats lost. ~Wy --> ~Pxz play the game only if the Cats lost the game. ~Wyz --> ~Pxz if the Cats won. Wy --> Px if the Cats won the game. Wyz --> Px if the Cats lost. ~Wy --> Px if the Cats lost the game. ~Wyz --> Px the game if the Cats won. Wy --> Pxz the game if the Cats won the game. Wyz --> Pxz the game if the Cats lost. ~Wy --> Pxz the game if the Cats lost the game. ~Wyz --> Pxz play if the Cats won. Wy --> ~Px play if the Cats won the game. Wyz --> ~Px play if the Cats lost. ~Wy --> ~Px play if the Cats lost the game. ~Wyz --> ~Px play the game if the Cats won. Wy --> ~Pxz play the game if the Cats won the game. Wyz --> ~Pxz play the game if the Cats lost. ~Wy --> ~Pxz play the game if the Cats lost the game. ~Wyz --> ~Pxz provided that the Cats provided that the Cats provided that the Cats provided that the Cats the game provided that the game provided that the game provided that the game provided that play provided that the play provided that the won. Wy --> Px won the game. Wyz --> Px lost. ~Wy --> Px lost the game. ~Wyz --> Px the Cats won. Wy --> Pxz the Cats won the game. Wyz --> Pxz the Cats lost. ~Wy --> Pxz the Cats lost the game. ~Wyz --> Pxz Cats won. Wy --> ~Px Cats won the game. Wyz --> ~Px

John John John John John John

didn't didn't didn't didn't didn't didn't

play play play play play play

provided provided the game the game the game the game

that the that the provided provided provided provided

Cats Cats that that that that

lost. ~Wy --> ~Px lost the game. ~Wyz --> ~Px the Cats won. Wy --> ~Pxz the Cats won the game. Wyz --> ~Pxz the Cats lost. ~Wy --> ~Pxz the Cats lost the game. ~Wyz --> ~Pxz won. Wy --> Px won the game. Wyz --> Px lost. ~Wy --> Px lost the game. ~Wyz --> Px the Cats won. Wy --> Pxz the Cats won the game. Wyz --> Pxz the Cats lost. ~Wy --> Pxz the Cats lost the game. ~Wyz --> Pxz Cats won. Wy --> ~Px Cats won the game. Wyz --> ~Px Cats lost. ~Wy --> ~Px Cats lost the game. ~Wyz --> ~Px that the Cats won. Wy --> ~Pxz that the Cats won the game. Wyz -->

John played John played John played John played John played John played John played John played John didn't John didn't John didn't John didn't John didn't John didn't ~Pxz John didn't John didn't ~Pxz John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John John played played played played played played played played didn't didn't didn't didn't didn't didn't didn't didn't played played played played played played played played didn't didn't didn't didn't didn't didn't didn't didn't

in the event that the Cats in the event that the Cats in the event that the Cats in the event that the Cats the game in the event that the game in the event that the game in the event that the game in the event that play in the event that the play in the event that the play in the event that the play in the event that the play the game in the event play the game in the event

play the game in the event that the Cats lost. ~Wy --> ~Pxz play the game in the event that the Cats lost the game. ~Wyz --> unless the Cats won. ~Wy --> Px unless the Cats won the game. ~Wyz --> Px unless the Cats lost. Wy --> Px unless the Cats lost the game. Wyz --> Px the game unless the Cats won. ~Wy --> Pxz the game unless the Cats won the game. ~Wyz --> Pxz the game unless the Cats lost. Wy --> Pxz the game unless the Cats lost the game. Wyz --> Pxz play unless the Cats won. ~Wy --> ~Px play unless the Cats won the game. ~Wyz --> ~Px play unless the Cats lost. Wy --> ~Px play unless the Cats lost the game. Wyz --> ~Px play the game unless the Cats won. ~Wy --> ~Pxz play the game unless the Cats won the game. ~Wyz --> ~Pxz play the game unless the Cats lost. Wy --> ~Pxz play the game unless the Cats lost the game. Wyz --> ~Pxz if and only if the Cats won. Px <--> Wy if and only if the Cats won the game. Px <--> Wyz if and only if the Cats lost. Px <--> ~Wy if and only if the Cats lost the game. Px <--> ~Wyz the game if and only if the Cats won. Pxz <--> Wy the game if and only if the Cats won the game. Pxz <--> Wyz the game if and only if the Cats lost. Pxz <--> ~Wy the game if and only if the Cats lost the game. Pxz <--> ~Wyz play if and only if the Cats won. ~Px <--> Wy play if and only if the Cats won the game. ~Px <--> Wyz play if and only if the Cats lost. ~Px <--> ~Wy play if and only if the Cats lost the game. ~Px <--> ~Wyz play the game if and only if the Cats won. ~Pxz <--> Wy play the game if and only if the Cats won the game. ~Pxz <--> Wyz play the game if and only if the Cats lost. ~Pxz <--> ~Wy play the game if and only if the Cats lost the game. ~Pxz <--

> ~Wyz