Document

# Document - .. Max=Cat All rich actors are good acors. Brad...

This preview shows pages 1–8. Sign up to view the full content.

Logic Notes You can resubmit HW till it gets right. . Logic is the study of reasoning.(theorizing about good reasoning. . *Names/ individual constants - These are the names of things we can talk about, Ex.ENGL- Max,Claire Ex.FOL- the names in the language everything is lower cased with now spaces. *Predicates- Is what we say about the names. Ex.ENGL-is tall, is coming to the party Ex.FOL- TallComingToTheParty Sentences in FOL Tall(Max)- <--Atomic Sentences *1 Place predicates or Arity is like saying "is tall". . *2 Place predicates is like saying "taller then" Ex. Claire is taller than max. FOL Taller(Claire,Max) Max is taller then claire Taller(Max,Claire) *3 Place Predicates is like saying in between Ex. Between(Max,Claire,Sally) or Max is between Claire and Sally. NO QUESTIONS IN FOL ___________DAY 2________ 2:00 is earlier than 1:00. .. Earlier(2:00,1:00) or 2:00<1:00 Max is the same as a cat .

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: .. Max=Cat All rich actors are good acors. Brad Pittt is a rich actor therefore, Brad Pitt is a good actor RichActor(pitt) GoodActor(pitt) a is a cube a is identical to Dustin So Dustin is a cube. premises : Cube(a) a=dustin conclusion: Cube(dustin) I Cube(a) I a=dustin---I Cube(dustin) EXAMPLE : I ANyone that wins an academy award is Famous. l Meryl Streep won an Academy Award.------l Meryl Sheep is famous. l Al Gore is a politician l Hardly any politician are honest.----l Al Gore is dishonest SameSize(a,b) a=c SameSize(c,b) PROOF: 1 SameSize(a,b) 2. a=c 3. SameSize(c,b) =Elim:1,2------P------------m----SameSize(a,b) a=d b=c SameSize(d,c)------P----------------m--1. SameSizea(a,b) n=m 2.a=d m=n 3.b=c 4.SameSize (a,c)----P--------------n---3 ways of forming complex sentences: and , or , its false that...
View Full Document

## This document was uploaded on 10/27/2011 for the course ASST 101 at Texas Tech.

### Page1 / 8

Document - .. Max=Cat All rich actors are good acors. Brad...

This preview shows document pages 1 - 8. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online