Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
1 - 2 of 2 search results for b&b |u:www.phil.cam.ac.uk

  1. Fully-matching results

  2. 1 PHT0/5 PHILOSOPHY TRIPOS, PART IA (PHT0/5) Friday 03 ...

    https://www.phil.cam.ac.uk/files/paper_5_formal_methods_external_comments_version_2.pdf
    27 Sep 2022: a) A B is tautologically equivalent to A B. (b) A (B A) is tautologically equivalent to A B. ... c. c. ). j B. B E, m, i–j. why do we insist that c must neither occur in xA(.

  3. Part IA Paper 5 (Formal Methods) Easter term 2022 ...

    https://www.phil.cam.ac.uk/files/ia-5_answer-key.pdf
    27 Sep 2022: 5 B A I, 3–4. 6 A (B A) I, 2–5. ... 2 xFx. (c) In the rule E,m xA(. x. x. ). i A(. c. c. ). j B. B E, m, i–j.

Refine your results

clear all

Date

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.