Discover published sets by community

Pattern: Either P or Q. P is denied. Therefore, Q. Example: Either it is snowing, or it is raining. It is not snowing. Therefore, it is raining.

Pattern: If P then Q. P is asserted. Therefore, Q. Example: If it is raining, then the ground is wet. It is raining. Therefore, the ground is wet.

Pattern: If P then Q. Q is denied. Therefore, P is denied. Example: If the alarm is set, then it will ring at 6 AM. The alarm did not ring at 6 AM. Therefore, the alarm was not set.

Pattern: If P then Q. If Q then R. Therefore, if P then R. Example: If it rains, then the streets get wet. If the streets get wet, then the parade will be cancelled. Therefore, if it rains, the parade will be cancelled.