# Deductive Logic/Equivalent Schemata

## Equivalent Schemata

A number of schemata can be proven to be equivalent. These are useful for transforming an argument into a more convenient, yet equivalent form.

Several valid equivalent schemata will be introduced, including the name and forms for each. Recall that the ≡ symbol represents equivalence.

Double Negative: ‘p’ ≡ ‘¬ (¬ p)’

Association: ‘p∨(q∨r’) ≡ ‘(p∨q)∨r’ , also: ‘p•(q•r)’ ≡ ‘(p•q)•r’

Commutation: ‘p∨q’ ≡ ‘q∨p’ , also: ‘p•q’ ≡ ‘q•p’

De Morgan’s laws: ‘¬ (p∨q)’ ≡ ‘¬ p • ¬ q’ , also: ‘¬ (p•q)’ ≡ ‘¬ p ∨¬ q’

Distribution: ‘p•(q∨r)’ ≡ ‘(p•q) ∨(p•r)’ , also: ‘p ∨(q•r)’ ≡ ‘(p∨q) • (p∨r)’

Transposition (Contraposition): ‘p → q’ ≡ ‘¬ q → ¬ p’ ("twist it around and not it and it will hold")

Implication: ‘p → q’ ≡ ‘¬ p∨q’ , also: ‘p → q’ ≡ ‘¬(p• ¬ q)’

Idempotence: ‘p’ ≡ ‘p•p’, also: ‘p’ ≡ ‘p∨p’

Exportation: ‘(p•q) → r’ ≡ ‘p → (q → r)’

Biconditional: ‘p≡q’ ≡ ‘(p → q) • (q → p)’, also: ‘p≡q’ ≡ ‘(p • q) ∨(¬ p • ¬ q)’

Law of the Excluded middle: ‘p ∨¬ p’ ≡ true
{"ft_lang_label":"__label__en","ft_lang_prob":0.52343535,"math_prob":0.9797552,"size":1017,"snap":"2023-40-2023-50","text_gpt3_token_len":465,"char_repetition_ratio":0.16090819,"word_repetition_ratio":0.010471204,"special_character_ratio":0.36479843,"punctuation_ratio":0.15346535,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9931961,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-09-28T22:09:31Z\",\"WARC-Record-ID\":\"<urn:uuid:f674ed09-f8cc-4dc8-882d-0b02fe3051f2>\",\"Content-Length\":\"24967\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:7fbd85f3-05ef-4715-862c-cfe0c9bea5e4>\",\"WARC-Concurrent-To\":\"<urn:uuid:c4a8d0b9-c6f1-4734-b3b0-ca56ae9a96e0>\",\"WARC-IP-Address\":\"208.80.154.224\",\"WARC-Target-URI\":\"https://en.m.wikiversity.org/wiki/Deductive_Logic/Equivalent_Schemata\",\"WARC-Payload-Digest\":\"sha1:DFTNRN7Q6XERTIV4336JPKKTWK756P6U\",\"WARC-Block-Digest\":\"sha1:CJYT6I6XJOEZYHO5RDS32BIMVZX2ZRKT\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-40/CC-MAIN-2023-40_segments_1695233510454.60_warc_CC-MAIN-20230928194838-20230928224838-00786.warc.gz\"}"}