Syntax & Semantics of Quantificational Logic

Juan Chavez
Mind Map by Juan Chavez, updated more than 1 year ago
Juan Chavez
Created by Juan Chavez about 5 years ago
3
0

Description

Basic introductory rules for QL
Tags

Resource summary

Syntax & Semantics of Quantificational Logic
1 Well-formed Formula
1.1 Atomic Well-formed Formula
1.1.1 An n-place predicate followed by n constants and/or variables.
1.1.1.1 Ex) F1a, F1x, L2ab, L2xy, R3yxc, a = b, x = a
1.2 Propositional Connectives
1.2.1 If ϕ and ψ are any wff's, then ¬ ϕ , (ϕ ^ ψ), (ϕ v ψ), (ϕ → ψ) , and (ϕ ↔ ψ) are all wff's.
1.3 Quantifiers
1.3.1 If ϕ is any wff, and x is a variable that does not have any bound occurences in ϕ, then ∀x
2
2.1
Show full summary Hide full summary

Similar

Segunda Guerra Mundial 1939-1945
miminoma
Cold War (1945-1975)
sagar.joban
The Heart And The Blood Vessels
eimearkelly3
Work, Energy & Power: Quiz
alex.examtime9373
GCSE Biology AQA
isabellabeaumont
GCSE AQA Chemistry Atomic Structure and Bonding
Joseph Tedds
Summary of AS Psychology Unit 1 Memory
Asterisked
GCSE AQA Chemistry - Unit 1
James Jolliffe
Unit 1 flashcards
C R
8 Citações Motivacionais para Estudantes
miminoma
New GCSE Maths
Sarah Egan