[go: up one dir, main page]

0% found this document useful (0 votes)
114 views8 pages

FOL Notes

This document discusses some key concepts in First Order Logic (FOL), including: 1. FOL can be used to express statements about objects and relationships between objects. 2. Common components of FOL models include constants, which represent specific objects, predicates, which express properties or relationships about objects, and functions. 3. Well-formed formulas in FOL involve logical connectives, quantifiers, variables, predicates, and terms referring to objects.

Uploaded by

anand_sesham
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
114 views8 pages

FOL Notes

This document discusses some key concepts in First Order Logic (FOL), including: 1. FOL can be used to express statements about objects and relationships between objects. 2. Common components of FOL models include constants, which represent specific objects, predicates, which express properties or relationships about objects, and functions. 3. Well-formed formulas in FOL involve logical connectives, quantifiers, variables, predicates, and terms referring to objects.

Uploaded by

anand_sesham
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 8

ivst Onton logic Fo)

FoL but avound oben and relt...


toL Can ao expres arout omo o.

e obpt tho wveYe

Selon ane Semann F o l


Model vekot e Yoal wosld

nlobn aud intn trelss

byotten on haoA

pessy
bohn

A
Twe4oloarwig G.
cbyh t
) na 1elun),
ore yaw
ba e
Dmom Yelalsi

FOL hoo-obedn hundus


vCotat simwoon
Yoliss pedicate y
smwbo
bol
unduos funtua wbo
mboln
ave en- Cov/tat Symwbon Rhad
nedicale Spbol ,
pedical Brothen Onlead Yevs
Rn Co)
unuen Symbed: LoHtLea:
DasgAmonl)
S medol in FoL Smld pvde ob
obyt
Yelakuem
tunden

-ioBepretalies
polas peui en valun
ta
enline Ptomic Senlenu Comsen Senteng
Phomic Semine
Pedical Pedcodo em
lero =lerm
CometSertentu (Sotonte)Sentonte
Sononte
enlon loA Senkone
Sentonte V Sonlonte
Sentonte Sevlonle
Sentone Sentonle
ROmbifheY Vaona tl Ce
uwndus Teun,
CnostandtVanae
uavitupw
Crvwhat A|X,|John.
Vauable a a)s) - .

d t Te Fale po
tunu Lovn ui
Mthn ftlea| - .

Opodex pve taden a


erms Atorno is
=,A,v,>S
Nehe» to oly o a
an
ebemn a
CenAnk term
enant mbelse
Funouco Smbon we
w) ea-
AhonSenlont Loktlea (Toha
AHomic SentonD
Senlonte brom Stalo tau
Gwbd ophnall
Symbd on a
piedal
two falowd ya pedialt
oapaneniwnzad
e-Brot Ridhard Dohn)
onon Seenco
e ue wadCoreden
Cxnon elence
Beohan Loytloa( Rihod),John)
9ohn Raua John) Bhen
Raris, (db-ard)KnsTohad (John B
Quavltwm '
Auanihwn lt us
tb apres pofert
entClekoris
t
obpech
obaehhy name
inxtoadnuyvrel
YU venal quanhs
AuKwe aoeeon
King a)>\rson (x).
Vnavenoal qMonlukialued maken stalomentn abrd
evy obet
Eistevdha quantuhen)
enrentual quonin make strlomat abot
Some obaed in te Unuvenace.

wASohn
wa Sohn ho a own n s hooA

wwol) A ontad (1John).

USe wlh
Ufe A wth 3

NeAGonuhern
oThos ane 'Sulme8
V 8,oen,9) SMiy,1)
Sveuybedy levevmebvdy
3 Lovesl, )
hone is Some one dho is love be
3v Lovola, 9)
Siblinghoteis Smmolric
,

(Pva)= f
P31 7 -(Pna)=*v
Pa , PAE-fv
?=Va4P, PvEGR9
Eyalt
Falhen (Sohn) Hory
AsselisnS nd quenn in Fol
Soloen cve odded T a nosodae ba

TELL Suh sonlonten aoe Called aMet


John 1s a kins3
TELL(Ke Kuina John))
Rickwrd iss ape
ELLB e o (RichardD)
Au Kngg awe
TEL(LB, ¥a Kuinga)> Pen())
We Can a auenuers the knonlodse bae
msfSR.
ASCreKig(Tohn))7ouns trho
A B RronJohn) eln e
A B, a: Pervasn()) vewn tme
ewot to Knoo shat vaue ) mabes
Senkonte ue wC D ASKVARS

sKVARS/LB, Peoenn)) wu elwn


OMwe) 2/3ohnh al/ecdurd
Onawawon S Catled Subtilalss
urding Lit
Xin shup dovoue

obyn in demaun ore poeplo


Onay predicakin Male ,Fevoale
bww reducale S Panont, Si bluig B
Sslen chuld eo Danewb el
Funuos- Mothen, fatun
On mohon is ones tenale proout
m,e MoHhenLe) =m temato (m)^
anevl
Onen usband is one> malo spwe
m,h Hhuwband h, to) Male(h)n
Male and temale co0
duyount
Male (1) Ferralea)
oreit ad cluld ae invee vtalan)
Pc Poont (P,c) dld e, Þ
A
oqandpevanl is a Penent en
Peret
Yg,e Gd parowt(9,c) Plaat (9,)
Yanaut(b,
A GMhns is amoher culd nopaen
Vy ais(Y> Tty P Kat (,/
AU ayorhen) ano amuom) AU oThen SenlonLOn
AunOved oro Hhom ae Called henem)
Auomd aoe abro Culled fata
e Mle (Iim)
Spovz (Sim, Launa)
w houDe is a
phypi dbyed
Valhaee() Phgpicd obgd())
Phical obeh coo lueuse
Phgyieal_obet () n haua ())
Ne Mau h am o wne

1heue)>3y.puonsly, x)
Nenybvduy dwns a
wowe
V19lowna (1, 9) kou ly)
Sue Ouo n ahux
Dons (3ue, ) A hotua (1)
en doe, huol own a heu
Dwns(Pelin, ) a howe(Y)

You might also like