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

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

View Full Document Right Arrow Icon
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 .
Background image of page 1

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

View Full DocumentRight Arrow Icon
Background image of page 2
Background image of page 3

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

View Full DocumentRight Arrow Icon
Background image of page 4
Background image of page 5

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

View Full DocumentRight Arrow Icon
Background image of page 6
Background image of page 7

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

View Full DocumentRight Arrow Icon
Background image of page 8
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 Right Arrow Icon
Ask a homework question - tutors are online