Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

Search

  • Filter Results
  • Location
  • Classification
    • Article type
    • Stage
    • Author
    • Cover Page
    • License
    • Show Page TOC
    • Transcluded
    • PrintOptions
    • OER program or Publisher
    • Autonumber Section Headings
    • License Version
    • Print CSS
    • Screen CSS
    • Number of Print Columns
  • Include attachments
Searching in
About 1 results
  • https://math.libretexts.org/Bookshelves/Mathematical_Logic_and_Proof/Book%3A_Friendly_Introduction_to_Mathematical_Logic_(Leary_and_Kristiansen)/02%3A_Deductions/2.04%3A_Rules_of_Inference
    (a) Γ is \(\{ \left( \forall P \left( x \right) \right) \rightarrow Q \left( y \right), \left( \forall x P \left( x \right) \right) \lor \left( \forall x R \left( x \right) \right), \exists x...(a) Γ is {(P(x))Q(y),(xP(x))(xR(x)),x¬R(x)}; ϕ is Q(y).

Support Center

How can we help?